Skip to content

Instantly share code, notes, and snippets.

@mobilemind
Last active April 16, 2024 13:18
Show Gist options
  • Save mobilemind/7883996 to your computer and use it in GitHub Desktop.
Save mobilemind/7883996 to your computer and use it in GitHub Desktop.
how to delete a git tag locally and remote
# delete local tag '12345'
git tag -d 12345
# delete remote tag '12345' (eg, GitHub version too)
git push origin :refs/tags/12345
# alternative approach
git push --delete origin tagName
git tag -d tagName
@mfehrenbach
Copy link

@eli8527 and I: ✊

@DobbyK
Copy link

DobbyK commented Nov 10, 2020

Damn, This thing has helped people for 3 years. The internet has done something good some how.

@mohammad26845
Copy link

Thanks 👍

@billywoodxyz
Copy link

thanks

@Roy-VZ
Copy link

Roy-VZ commented Jan 10, 2021

Thank you

@ter-cto
Copy link

ter-cto commented Jan 15, 2021

thank you so muchch

@miffa
Copy link

miffa commented Jan 15, 2021

thanks

@soiqualang
Copy link

Wonderful, Thank you !

@tal-ayalon
Copy link

simple and easy, thanks!

@harieamjari
Copy link

kudos!

@LukasMari
Copy link

Thanks man!

@yamin8000
Copy link

Thank you!

@Mr-HaleYa
Copy link

Thank you!

@mcfriend99
Copy link

Thanks man!

@Saraistupid
Copy link

Thank you!

@gauravphagrehpe
Copy link

Thanks a lot :)

@dtang-wish
Copy link

Thanks!

@ziteh
Copy link

ziteh commented Jul 3, 2021

Thanks!

@emdienn
Copy link

emdienn commented Jul 28, 2021

Thanks!

@davidaparicio
Copy link

Thanks!

@acallejp97
Copy link

Thanks!

@silvag-garde
Copy link

Thanks!

@pontin-pdftron
Copy link

Thanks!

@gkennedy1
Copy link

Thank you

@VishwasShashidhar
Copy link

Thank you!

@Journeyman1337
Copy link

thanks, very annoying glitches happening

@tmiland
Copy link

tmiland commented Nov 28, 2022

Thank you!

@dhocker
Copy link

dhocker commented Apr 10, 2023

Thanks!

@ribeiroantonio
Copy link

Thank you!

@callmesilva
Copy link

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment