Skip to content

Instantly share code, notes, and snippets.

@jonasbn
Created September 4, 2024 19:35
Show Gist options
  • Save jonasbn/467e9e52b248c957b66f910cfa07256d to your computer and use it in GitHub Desktop.
Save jonasbn/467e9e52b248c957b66f910cfa07256d to your computer and use it in GitHub Desktop.
Basic script in my path to delete tags, because I always forget the command structure
#!/bin/bash
# REF: https://jonasbn.github.io/til/git/delete_local_and_remote_branch.html
echo "Deleting tag $1 locally"
git tag -d $1
echo "Deleting tag $1 remotely"
git push --delete origin $1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment