Maandelijks archief: december 2012

verwijderen van git branches en tags

Met regelmaat zal je een branch verwijderen in git. Lokaal is dit eenvoudig:

# verwijder een lokale branch
git branch -d <branch>

Maar remote is dat een iets complexer verhaal:
Gebruik je een versie ouder dan 1.7.0, dan is dit het antwoord:

# verwijder een remote branch, oude stijl
git push origin :<branch>

Niet echt duidelijk wat er nu gebeurd, daarom vanaf versie 1.7.0:

# verwijder een remote branch, nieuwe stijl
git push --delete origin <branch>

Voor tags is de syntax bijna hetzelfde:

# verwijder lokale tag
git tag -d <tag>

# verwijder remote tag in versie's ouder dan 1.7.0
git push origin :refs/tags/<tag>

# verwijder remote tag in versie's vanaf 1.7.0
git push --delete origin <tag>

Tenslotte worden remote branches ook wel eens door anderen verwijderd. Dit wordt niet automatisch bijgewerkt door git wanneer je pullt of fetched.
Ook hiervoor is een simpele methode om dit bij te werken:

# update de lokale database van remote branches
git remote prune origin

En daarmee staat weer een stukje van mijn geheugen online :).