diff options
| author |  Federico Brigante <github@bfred.it>
| 2019-08-30 20:09:32 +0700 |
|---|---|---|
| committer |  Federico Brigante <opensource@bfred.it>
| 2019-08-30 20:35:53 +0700 |
| commit | cd6e8e1b16a016dfea57872c922e95a5878725ab (patch) | |
| tree | a10ca771ca870487ed7a1c2ac2c035cbd9631378 | |
| parent | aa29f7fe392a4c0078df344b86d1ea041d4b65dd (diff) | |
| download | refined-github-cd6e8e1b16a016dfea57872c922e95a5878725ab.tar.gz refined-github-cd6e8e1b16a016dfea57872c922e95a5878725ab.tar.zst refined-github-cd6e8e1b16a016dfea57872c922e95a5878725ab.zip | |
Add GitHub action to keep old tags off the repo
| -rw-r--r-- | .github/workflows/no-banned-git-tags.yml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.github/workflows/no-banned-git-tags.yml b/.github/workflows/no-banned-git-tags.yml new file mode 100644 index 00000000..94ffbdd4 --- /dev/null +++ b/.github/workflows/no-banned-git-tags.yml @@ -0,0 +1,18 @@ +name: No banned git tags + +on: + push: + tags: + - hotfix + +jobs: + build: + + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v1 + - name: Delete extra tag + run: hub push --delete origin hotfix + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |