Pull Requests lokal auschecken

Inhalt dieses Artikels

• Einen aktiven Pull Request lokal ändern
• Einen inaktiven Pull Request lokal ändern
• Fehler: Pushen einiger Refs fehlgeschlagen

Einen aktiven Pull Request lokal ändern

1. Under your repository name, click Pull requests.

   

2. Klicken Sie in der Liste der Pull Requests auf den Pull Request, den Sie mergen möchten.

3. Klicken Sie ziemlich unten im Pull Request im Merge-Feld auf command line instructions (Anleitungen für die Befehlszeile). Führen Sie nacheinander die Schritte durch, um den vorgeschlagenen Pull Request herunterzuladen.

   

4. Um die vorgeschlagenen Änderungen in GitHub Desktop anzuzeigen, können Sie optional auch auf open this in GitHub Desktop (In GitHub Desktop öffnen) klicken.

   

Einen inaktiven Pull Request lokal ändern

Ein inaktiver Pull Request ist ein Pull Request, dessen Inhaber nicht mehr antwortet oder, was wahrscheinlicher ist, seinen Fork gelöscht hat. Wenn ein Fork gelöscht wurde, ist das Mergen des Pull Requests noch möglich. Wenn Sie jedoch einen Pull Request ändern und der Autor nicht antwortet, müssen Sie einige zusätzliche Schritte durchführen, um den Pull Request zu aktualisieren.

Wenn ein Pull Request geöffnet wurde, speichert GitHub alle Änderungen online für Sie. Anders gesagt: Commits in einem Pull Request sind in einem Repository schon vor dem Mergen des Pull Requests verfügbar. Das bedeutet, dass Sie einen offenen Pull Request abrufen und als Ihren eigenen erneut erstellen können.

Jeder kann einen zuvor geöffneten Pull Request weiter bearbeiten, testen oder sogar einen neuen Pull Request mit zusätzlichen Änderungen öffnen. Aber nur Mitarbeiter mit Push-Zugriff können Pull Requests mergen.

1. Under your repository name, click Issues or Pull requests.

   

2. Klicken Sie in der Liste „Pull Requests“ auf den Pull Request, den Sie mergen möchten.

3. Ermitteln Sie die ID-Nummer des inaktiven Pull Requests. Die ID ist die Ziffernfolge direkt hinter dem Titel des Pull Requests.

   

4. Open TerminalTerminalGit Bash.

5. Rufen Sie den Verweis zum Pull Request basierend auf seiner ID-Nummer ab, und erstellen Sie dabei einen neuen Branch.

   $ git fetch origin pull/ID/head:BRANCHNAME

6. Wechseln Sie zu dem neuen Branch, der auf diesem Pull Request basiert:

   [master] $ git checkout BRANCHNAME
   > Switched to a new branch 'BRANCHNAME'

7. An dieser Stelle können Sie mit diesem Branch machen, was Sie möchten. Sie können lokale Tests ausführen oder andere Branches in diesen Branch mergen, darunter auch seinen master. Nehmen Sie alle gewünschten Änderungen vor.

8. Wenn Sie fertig sind, können Sie den neuen Branch übertragen:

   [pull-inactive-pull-request] $ git push origin BRANCHNAME
   > Counting objects: 32, done.
   > Delta compression using up to 8 threads.
   > Compressing objects: 100% (26/26), done.
   > Writing objects: 100% (29/29), 74.94 KiB | 0 bytes/s, done.
   > Total 29 (delta 8), reused 0 (delta 0)
   > To https://Hostname/username/repository.git
   >  * [new branch]      BRANCHNAME -> BRANCHNAME

9. Erstellen Sie einen neuen Pull Request mit Ihrem neuen Branch.

Fehler: Pushen einiger Refs fehlgeschlagen

Der Remote-Namespace refs/pull/ ist schreibgeschützt. Wenn Sie versuchen, Commits dorthin zu pushen, wird die folgende Fehlermeldung angezeigt:

! [remote rejected] HEAD -> refs/pull/1/head (deny updating a hidden ref)
error: failed to push some refs to 'git@github.local:USERNAME/REPOSITORY.git'