diff options
| author | David Robertson <davidr@element.io> | 2022-05-03 11:50:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-03 10:50:03 +0000 |
| commit | bf2fea8f7dace1aa6597b9fc8fa782433409d718 (patch) | |
| tree | 08c50d6e839ddb435bb4df0d966027d74ebda39e /changelog.d/12556.misc | |
| parent | Fix race when persisting an event and deleting a room (#12594) (diff) | |
| download | synapse-bf2fea8f7dace1aa6597b9fc8fa782433409d718.tar.xz | |
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
Diffstat (limited to 'changelog.d/12556.misc')
| -rw-r--r-- | changelog.d/12556.misc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/changelog.d/12556.misc b/changelog.d/12556.misc new file mode 100644 index 0000000000..dc245397fb --- /dev/null +++ b/changelog.d/12556.misc @@ -0,0 +1 @@ +Release script: confirm the commit to be tagged before tagging. |