From 703671a12dd979b3cd75d44334fe43a433dc2162 Mon Sep 17 00:00:00 2001
From: Simon Ser <contact@emersion.fr>
Date: Sun, 29 Sep 2024 17:38:27 +0200
Subject: [PATCH] release: push tags before creating GitHub release

Otherwise the GitHub release isn't attached to the Git tag.

(cherry picked from commit a2757e5f165eae445ae550fd1d13f9ec0db44efc)
---
 release.sh | 1 +
 1 file changed, 1 insertion(+)

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"