message: Meta: Extend list of banned git tags
diff: +# These tags were the results of tests in the past and are troublesome
  +
  name: No banned git tags
  on:
  push:
  tags:
  - hotfix
  + - 19.5.18.1333
  + - 19.5.18.1335
  + - 19.5.18.1919
  + - 19.5.19.1032
  + - 19.5.25.1548
  + - 19.5.25.1923
  + - 19.6.13.1034
  +
  jobs:
  delete:
  runs-on: ubuntu-latest
  @@ -12,4 +22,4 @@ jobs:
  - uses: fregante/setup-git-token@v1
  with:
  token: ${{ secrets.GITHUB_TOKEN }}
  - - run: git push --delete origin hotfix
  + - run: git push --delete origin $GITHUB_REF
  