[rdf4j-dev] Release script

[Håvard Ottestad <hmottestad@xxxxxxxxx>]

Hi,

Just release 3.0.2 with the script. Everything seemed to work. Had forgotten that we need to kick off the release process on jenkins manually, so I need to adjust the script.

Merge with develop worked fine too, just github that makes the PR look strange.

Good times.

Håvard