Enrico's world
Just a bunch of technical stuff
quote
more Quotes
martedì, dicembre 07, 2021
git - deleting all the local branches but dev
$ git branch | grep -v "dev" | xargs git branch -D
Nessun commento:
Posta un commento
Post più recente
Post più vecchio
Home page
Iscriviti a:
Commenti sul post (Atom)
Nessun commento:
Posta un commento