Ein alter commit wurde heruntergeladen. Nun ist der Head losgelöst.
temporären Branch erstellen
git checkout -b develop2
Dadurch wird der losgelöste HEAD an den neuen Branch gebunden!
Als Überblick ev. git diff master develop2 .
Branch Master zufügen
Danach normal weitergehen (mit diesem Branch),
oder den Branch zum Mater oder anderen Branch einbinden.
git branch -f master develop2 git checkout master git branch -d develop2
…