From 142fc06b152ee7427a9d322aff2e37eb052a6480 Mon Sep 17 00:00:00 2001
From: monacoremo <59358383+monacoremo@users.noreply.github.com>
Date: Thu, 5 Aug 2021 19:03:00 +0200
Subject: [PATCH] ci: Add .github/release script that tags and pushes a new
 release

---
 .github/release | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 .github/release

diff --git a/.github/release b/.github/release
new file mode 100755
index 000000000..4c113b1dc
--- /dev/null
+++ b/.github/release
@@ -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"