Release process

Steps for making a new release:

1. (master) Make sure RELEASES.md is up-to-date and the version matches the version in CMakeLists.txt.
2. (master) Add date to version releasing in RELEASES.md.
3. Merge master into production branch.
4. Push.
5. Tag with version, i.e., git tag -a v1.4.43.
6. Push tags, i.e., git push --tags.
7. Merge master into mlso branch.
8. Push.
9. On production machine: pull, configure, and make install.
10. On MLSO production machine: pull, configure, and make install.