Merge release branch into master
@david-keitel pointed out that tags made from the release branch don't make it into the history of master. Long-term we may want to try a better solution, but for now, this MR will add these commits to that history.
Closes #701
Merge request reports
Activity
added Infrastructure label
I'm going to close this MR as it presented other problems. The most recent release (2.2.0) correctly sits on master. I think this shows that our experiment with the release branch didn't work as we did it then. I'll try to find a more viable solution for future release branches we might maintain.