git merge -s recursive -X theirs develop
oder
git merge --strategy=recursive --strategy-option=theirs develop
merged in den Branch „develop“ in den aktuellen Branch. Dabei werden bei Konflikten immer die Änderungen des develop-Branches (theirs) übernommen.
Sollte ein Merge-Versuch fehlschlagen, so kann man mit
git merge --abort
den Merge abbrechen und mit
git reset --hard
den Branch wieder in den Ausgangszustand zurücksetzen