Risposte:
Se desideri tutte le modifiche da master
in dev_branch
, allora:
git checkout dev_branch
git reset --hard master
Funziona solo se altre persone non hanno clonato il repository.
Se hai già dev_branch
eseguito il push su un telecomando, devi fare:
git push --force
Per forzare la spinta al telecomando. Attenzione: questo spezzerà la storia del ramo per le persone che l'hanno clonato prima! Poi, gli altri dovranno fare un git pull --rebase
in dev_branch
per ottenere le modifiche.
Puoi anche rinominare il ramo dev in qualcosa di vecchio e quindi creare un nuovo ramo master
con lo stesso nome:
git branch -m dev_branch old_dev_branch
git branch -m master dev_branch
Oppure, usa la ours
strategia - non sei sicuro del perché non funzioni per te:
git checkout master
git merge -s ours dev_branch
git checkout dev_branch
git merge master
dev_branch
verso l'origine (se ne avesse uno), e inoltre non avrai più unmaster
ramo a livello locale.