ci: Add .github/release script that tags and pushes a new release

2021-08-08 06:42:59 +02:00
parent c7b1cda3ed
commit 142fc06b15
1 changed files with 12 additions and 0 deletions
@@ -0,0 +1,12 @@
 #!/usr/bin/env bash
 # Tag a release that will be built with Github Actions. The version is
 # read from 'postgrest.cabal'.
 version="$(grep -oP '^version:\s*\K.*' postgrest.cabal)"
 echo "Tagging version v$version"
 git tag -f "v$version"
 echo "Pushing tag..."
 git push -f origin "refs/tags/v$version"