release: push tags before creating GitHub release

Otherwise the GitHub release isn't attached to the Git tag.
3 months ago · a2757e5f16
parent a0b3606f17
commit a2757e5f16
1 changed files with 1 additions and 0 deletions
--- 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"