Content Comparison

...

1. Create a tag for 1.13 (for instance, with gitg)
2. Create a branch from the release branch to merge the changes back to master
   (1.13)*$ git checkout -b 1.13-back-to-master
3. Update version number in the gradle.properties file (remember to include -SNAPSHOT!)
4. Execute $ ./gradlew clean distribute -x check -x test to update version strings
5. Update version number in the Eclipse settings (@since tag) .settings/org.eclipse.jdt.ui.prefs
6. Commit the changes and push
   $ git commit -am "merging release branch back to master"
   $ git push origin 1.13-back-to-master
7. Create a pull request on GitHub to the master branch
8. Wait for the checks of the pull request to be successful
9. Delete local and remote branch 1.9

      git branch -d 1.9
      git push origin --delete 1.9
   

10. Push tag git push origin 1.9
11. Update version numbers on http://kieker-monitoring.net/download/nightly/
12. Update version number in https://build.se.informatik.uni-kiel.de/jenkins/job/kieker-nightly-benchmark/configure

1. Run Eclipse function to scan record API and generate test classes
   1. The tool is available in gitlab@build.se.informatik.uni-kiel.de:kieker/utility.git
   2. import de.cau.cs.se.kieker.record.analyser
2. Run tests
3. On errors determine cause and create tickets

...