====== GIT Merge ======
Ausgangsposition: man hat ein lokales GIT Repository, will dieses direkt mit dem Remote Repository mergen. Eigentlich nur dann sinnvoll, wenn man hier auch wirklich weiß, was man tut. Viele wissen es nicht und sollten es irgendwie bleiben lassen. Dennoch, hier eine kurze Anleitung wie man es macht.
Im Grunde kann es eh jederzeit Claude / Codex auch machen, also was soll es.
Wichtig ist hier dabei zu sagen, dass man hier vorab einen Blick auf das Remote-Repository werfen sollte, welche Änderungen hier durch den freien Merge überbügelt werden. Denn dies würde dann auch passieren, wenn man das macht.
===== Kommandosequenz =====
Weg mit Commit und Merge Angabe.
# 1. Fetch remote changes
git fetch origin
# 2. Merge remote into local (or use rebase if you prefer linear history)
git merge origin/main --allow-unrelated-histories
# 3. Resolve any merge conflicts if they appear, then:
git add .
git commit -m "Merge remote changes"
# 4. Push
git push origin main
Direkter Weg
git pull origin main --allow-unrelated-histories
git push origin main