Commit 1ddd6a21 authored by anonym's avatar anonym

Only force push tag, not the branch.

parent dea2b051
......@@ -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:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment