Merge pull requests on GitHub

Merge pull requests – Mein Video zeigt euch, wie es geht

Für gute Freunde tut man bekanntlich alles und das sofort. In einem Gespräch wurde das Problem diskutiert, wie man effizient mit pull requests umgeht. In einem kurzen Video, “Merge pull requests on Github”, erkläre ich, wie man pull requests von GitHub lokal bearbeitet und in den eigenen Entwicklungszweig integriert.

Wer mehr über den Pull-Request-Workflow erfahren möchte findet hier eine gute Erläuterung.

Viel Spaß beim ansehen.

merge pull requests - github social coding

 

Kurzfassung

Anhand der ID des Pull-Requests können dessen Commits in einen lokalen Branch herunter geladen und in den eigenen Entwicklungszweig integriert werden.

Die 1 in pull/1/head entspricht der GitHub-Issue-ID.
Die Bezeichnung für <target-branch> lässt sich beliebig belegen.
Achtet darauf, dass dieser Branch noch nicht existiert, weil er neu erzeugt wird.

Meine Ausbildung in Git verdanke ich übrigens Alex. Wenn ihr auch Git-Spezialisten werden wollt, gibt es hier eine solide Schulung.

Bildquelle

git hint -short – The forgotten file

Remember…

  1. You commit something in your repostiry.
  2. After that you notice that you forget the only one important file!  😈
  3. You feel shrity and create a redundant commit.
    Meanwhile you may insult your git repository like I did…

If you know that story,- calm down. There is a quick way to handle this…

? Simply add the fogotten file to the indey
? Do a new commit using the option –amend

git add forgotten.file
git commit --amend -C HEAD

Have fun!
Gregor