Release checklist

Test phase

• Run manual autobahn testsuite against the server

Pre-Release

• All closed issues have a label and a correct milestone
• All merged pull requests have a label and a correct milestone
• Ensure that the documentation (readme) is up to date

Release

• Push to maven central

After the release

• Update Changelog.md
• Tag everything and create a branch
• Setup the Github release with the pushed jars from maven
• Force an update for the javadoc view
• Update pom.xml version to the next snapshot version
• Close milestone and create a new one