Lösung:
Obwohl sie genau gleich heißen, sind ein GitHub-Pull-Request und ein 'git request-pull' völlig unterschiedlich.
Der git request-pull dient zum Generieren einer Zusammenfassung der ausstehenden Änderungen, die an eine Mailingliste gesendet werden. Es hat standardmäßig keine Integration mit GitHub.
Die GitHub-Pull-Requests sind nur eine voll funktionsfähige Funktion von GitHub. Es ermöglicht das Zusammenführen und Integrieren von Code aus einem anderen Branch/Fork. Sie können Zusammenführungskonflikte lösen, Codeüberprüfungen durchführen oder zusätzliche Kommentare zu einem GitHub-Pull-Request hinzufügen.
Leider hat der Befehl git einen ähnlichen Namen wie die GitHub-Funktionalität, was den Anschein erweckt, als ob sie dasselbe tun sollten.
Github hat Hub entwickelt:
hub ist ein Befehlszeilen-Wrapper für Git, der Sie bei GitHub besser macht.
mit dem Sie das tun können
hub pull-request
Beachten Sie, dass im Gegensatz zu git request pull
, Dies ist genauso wie ein Pull-Request über das Webinterface.
Dokumentation für die hub pull-request
Befehl: https://hub.github.com/hub-pull-request.1.html
Mit Githubs neuer offizieller CLI (Befehlszeilenschnittstelle):
gh pr create --base master --title "My first cli PR" --body "What did I do?"
Siehe zusätzliche Details und Optionen sowie Installationsanweisungen.