ci: Remove unused .github/release script

2024-02-26 22:06:01 +01:00
parent e70f001cfc
commit 1db6c04a28
2 changed files with 0 additions and 13 deletions
@@ -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"
@@ -61,7 +61,6 @@ let
        echo "Linting bash scripts..."
        ${shellcheck}/bin/shellcheck \
          .github/get_cirrusci_freebsd \
-          .github/release

        echo "Linting workflows..."
        ${actionlint}/bin/actionlint