git branch -D nome_ramo
per rimuovere il ramo locale.
git fetch origin --prunne
per rimuovere il ramo locale quando
è stato rimosso dal reposito centrale.
--dry-run
per vedere cosa il commando farà primo di usarlo.
Pensiamo a un scenario dove un ramo è stato ribasato sul ramo principalo
Su un altro computer, per ottenere la nuova versione del ramo PERDENDO i
cambiamenti locali se c'è ne sono :
git checkout principalo
git pull
git checkout ramo-a
git rebase principalo
git push origine ramo-a -f
git fetch --all
git checkout ramo-a
git reset --hard origine/ramo-a