David Robertson bf2fea8f7d Add sanity checks to the release script (#12556) ... Check we're on the right branch before tagging, and on the right tag before uploading * Abort if we're on the wrong branch * Check we have the right tag checked out * Clarify that `publish` only releases to GitHub		2022-05-03 10:50:03 +00:00
..
.gitignore	…
12356.misc	…
12406.feature	…
12480.misc	…
12485.misc	…
12505.misc	…
12526.feature	…
12531.misc	…
12541.docker	…
12544.bugfix	…
12556.misc	Add sanity checks to the release script (#12556)	2022-05-03 10:50:03 +00:00
12564.misc	…
12576.misc	…
12579.doc	…
12580.bugfix	…
12581.misc	…
12582.misc	…
12589.misc	…
12594.bugfix	…
12608.misc	…