Programming
Privater Blog: Performance, Load, Robustness, Programming
Donnerstag, 30. Januar 2020
Git house keeping
Über die Entwicklungszeit eines Projektes sammeln sich im Git viele Feature Branches, die man oft vergisst wegzuräumen. So geht es:
Löschen von lokalen Branches:
git checkout master
git branch -l | grep --color=never -v master | xargs git branch -D
Löschen von remote Branches:
git branch -r | grep --color=never -v master | xargs git push origin --delete
Keine Kommentare:
Kommentar veröffentlichen
Neuerer Post
Älterer Post
Startseite
Abonnieren
Kommentare zum Post (Atom)
Keine Kommentare:
Kommentar veröffentlichen