summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authoranonym <anonym@riseup.net>2016-03-07 20:52:44 +0100
committeranonym <anonym@riseup.net>2016-03-07 20:53:12 +0100
commit1ddd6a21f52ea2bafbe215f958f47ff4877e9006 (patch)
tree4d8625d129b63480961a4613edebf6b4a494f021
parentdea2b0512e39bf1dca359d3672fac7850040c8aa (diff)
Only force push tag, not the branch.
-rw-r--r--wiki/src/contribute/release_process.mdwn3
1 files changed, 2 insertions, 1 deletions
diff --git a/wiki/src/contribute/release_process.mdwn b/wiki/src/contribute/release_process.mdwn
index a017243..5c5359b 100644
--- a/wiki/src/contribute/release_process.mdwn
+++ b/wiki/src/contribute/release_process.mdwn
@@ -456,7 +456,8 @@ suite should be ready, so it is time to:
git tag -f -u "$TAILS_SIGNATURE_KEY" \
-m "tagging version ${VERSION}" "${TAG}" && \
- git push --tags -f origin "${RELEASE_BRANCH}"
+ git push origin "${RELEASE_BRANCH}" && \
+ git push --tags --force
* check out the release tag: