aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSimon Ser <contact@emersion.fr>2024-09-29 17:38:27 +0200
committerKenny Levinsen <kl@kl.wtf>2024-09-29 17:44:47 +0200
commita2757e5f165eae445ae550fd1d13f9ec0db44efc (patch)
tree1986c34f2bf7a5103a462c9fd9e83e6857efe7cc
parenta0b3606f1725ee56e8dc15ae51ce62d042c0668a (diff)
release: push tags before creating GitHub release
Otherwise the GitHub release isn't attached to the Git tag.
-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"