To make a new release:

- Update ChangeLog.md tools/RMF.spec tools/debian/changelog 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
- Check that Zenodo is updated (should be automatic)
- Build an SRPM from the spec file tools/RMF.spec and the .tar.gz from
  the GitHub release page, and upload to COPR
- Build Debian source packages and upload to PPA
- Open PR on conda-forge to update the conda package
- Update the Homebrew package and build bottles
