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 }}

name: No banned git tags

on:
  push:
    tags:
      - hotfix
jobs:
  delete:
    runs-on: ubuntu-latest
    steps:
    - name: Checkout repo
      uses: actions/checkout@v1
    - name: Delete extra tag
      env:
        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
      run: |
        git remote set-url origin "https://sindresorhus:$GITHUB_TOKEN@github.com/$GITHUB_REPOSITORY.git"
        git push --delete origin hotfix

Add GitHub action to keep old tags off the repo /2
Add GitHub action to keep old tags off the repo /2
