Nein, Pull-Anfragen befinden sich in der Projektverwaltungsebene, in diesem Fall auf der GitHub-Website. Es hat nichts mit Git selbst zu tun.
Eine Pull-Anfrage in GitHub ist nur ein Ticket mit einigen Patches. Sie können Ihre erstellen, indem Sie Ihre Änderungen als Patches formatieren git format-patch
.
Selbst wenn Sie das Repository in GitHub spiegeln, haben Sie kein Ziel-Repository, an das die Pull-Anforderung gesendet werden soll. Damit Pull-Requests auf GitHub funktionieren, müssen sich Ihr und das Ziel-Repository auf GitHub befinden. Beachten Sie, dass dies nicht die (unwahrscheinliche) Möglichkeit ausschließt, beide Systeme (GNU Savannah und GitHub) so bereitzustellen, dass sie vom Projektbetreuer aktiv verwaltet werden.