To make a new release:

- Update ChangeLog.md and tools/RMF.spec with release date and features.
- Add version number as RMF_VERSION_(MAJOR,MINOR,MICRO) to CMakeLists.txt.
- git push origin develop
- Make sure all CI passes
- Merge into main:
  - git checkout main
  - git merge --no-ff -m "Merge for x.y.z release" develop
  - git diff develop
  - git push origin main
- Tag the new release:
  - git tag -s -u E6414C85 x.y.z; git push origin x.y.z
- Make new release on GitHub
