aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSimon Ser <contact@emersion.fr>2024-09-29 17:38:27 +0200
committerSimon Ser <contact@emersion.fr>2024-10-06 16:54:27 +0200
commit703671a12dd979b3cd75d44334fe43a433dc2162 (patch)
tree5247428d627c1340f284e3b5c4f33780157ee9f8
parentae75fea8ef7434749a8074b12438a65aec4b2038 (diff)
release: push tags before creating GitHub release
Otherwise the GitHub release isn't attached to the Git tag. (cherry picked from commit a2757e5f165eae445ae550fd1d13f9ec0db44efc)
-rwxr-xr-xrelease.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/release.sh b/release.sh
index 62baf415..c5644cfd 100755
--- a/release.sh
+++ b/release.sh
@@ -28,4 +28,5 @@ archive=$prefix.tar.gz
git archive --prefix="$prefix/" -o "$archive" "$next"
gpg --output "$archive".sig --detach-sig "$archive"
+git push --follow-tags
gh release create "sway $next" -t "$next" -n "" -d "$archive" "$archive.sig"