summaryrefslogtreecommitdiffstats
path: root/dev/release.sh
AgeCommit message (Expand)Author
2020-10-17dev/release.sh: improve instruction for pushing the tagRichard Levitte
2020-09-12dev/release.sh: Rework to be smootherRichard Levitte
2020-07-05Rename NOTES*, README*, VERSION, HACKING, LICENSE to .md or .txtDr. David von Oheimb
2020-05-15dev/release.sh: Add --reviewer to set reviewersRichard Levitte
2020-04-21Developer scripts: Release scriptRichard Levitte