release checklist

• Update NEWS.md
• Update version number
• Prepare offline distribution
  • Use script build_tools/release/prepare_offline_distribution.sh
  • You can use build_tools/release/test_release.sh to test the release
  • Zip file should be less than 10 MByte, otherwise some components have to be removed
• Make release on Github
• Upload to mloss.org (only @AlexanderFabisch can do this at the moment, link)
• Upload new docker image, run the following commands in docker/
  • docker build -t bolero:latest . (--no-cache might be necessary)
  • docker login
  • docker tag bolero:latest af01/bolero:latest
  • docker tag bolero:latest af01/bolero:<version>
  • docker push af01/bolero:latest
  • docker push af01/bolero:<version>
• Upload new documentation
  • Run make github in doc/ (you need ghp-import for this, install with pip install ghp-import)
  • Push branch gh-pages to this repository
• Post-release procedure
  • Set new version number in master branch of bolero