pick-to-branch: rename 'branch' to 'target' for clarity
[tools.git] / HOWTO-make-a-release.md
2021-11-01 Matt CaswellMake it more explicit how to push tags
2021-06-03 Matt CaswellSend release emails from the owner of the signing key
2021-02-19 Richard LevitteNew releasing instructions, HOWTO-make-a-release.md