Github, PR merge - aber wie?

Hallo, ich hiffe mir kann jemand bei meinem "Problem" mit Github helfen.

Ich verändere meine Dateien offline und lade alle Änderungen mit dem Github Desktop tool hoch. Das funktioniert soweit super. Aber ich weis nicht so recht, was ich mit dem PR tun soll, welchen ich jetzt von einem User bekommen habe. Der Inhalt des PR ist soweit gut und kann auch übernommen und eingepflegt werden, aber wie genau funktioniert das?

Muss ich die Änderungen händisch in den Dateien durchführen oder funktioniert das automatisch mit dem Github Desktop tool? Und wenn ja, wie?

Viele Grüße

Ich kenne das Desktop-Tool nicht daher nur für die Website:

Merge Pull Request klicken -> Typ der Zusammenführung auswählen -> Confirm merge

Wenn der merge fehlschlägt, kann von Hand einpflegen die einfachste Variante sein.


Edit: Merging a pull request - GitHub Help

Ok danke dir Und dann werden die Änderungen automatsch auf meine offline-Dateien übertragen?

danysahne333 schrieb:

Ok danke dir Und dann werden die Änderungen automatsch auf meine offline-Dateien übertragen?

Zum Vergrößern anklicken....

Wenn online gemerged wird, wird der Onlinestand geändert.
Ich weiß jetzt nicht was das Desktop-Tool alles kann, ich würde mal vermuten, dass ein Sync notwendig sein wird.

Weil git auch nicht perfekt ist, würde ich auch zuerst dafür sorgen, dass dein Stand lokal und online übereinstimmen und dann mergen + syncen.

Ich danke dir Ich versuch's einfach, wollte jetzt nur nicht, dass irgendwas kaputt geht...

Kannst ja auch erst mal einen neuen Branch erstellen und darin testen.