From 1db6c04a283bbc00e9498c2d5869016bab08c059 Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Sun, 25 Feb 2024 17:40:27 +0100
Subject: [PATCH] ci: Remove unused .github/release script

---
 .github/release     | 12 ------------
 nix/tools/style.nix |  1 -
 2 files changed, 13 deletions(-)
 delete mode 100755 .github/release

diff --git a/.github/release b/.github/release
deleted file mode 100755
index 4c113b1dc..000000000
--- a/.github/release
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/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"
diff --git a/nix/tools/style.nix b/nix/tools/style.nix
index 4738868d9..b42b28073 100644
--- a/nix/tools/style.nix
+++ b/nix/tools/style.nix
@@ -61,7 +61,6 @@ let
         echo "Linting bash scripts..."
         ${shellcheck}/bin/shellcheck \
           .github/get_cirrusci_freebsd \
-          .github/release
 
         echo "Linting workflows..."
         ${actionlint}/bin/actionlint