Ich habe ein GitHub-Repository namens masteruser/reponame nach myuser/reponame geforkt. Als ich mir die Seite ansah, stand dort:
myuser/reponame, geforkt von masteruser/reponame
Ein anderer Benutzer forked masteruser/reponame zu anotheruser/reponame, und es sagte:
anotheruser/reponame, geforkt von masteruser/reponame
So weit, so gut. Dann hat masteruser aus Versehen masteruser/reponame gelöscht. GitHub-Administratoren waren so freundlich, masteruser/reponame nach ein paar E-Mails von masteruser wiederherzustellen, aber jetzt sagt myuser/reponame:
myuser/reponame, geforkt von anotheruser/reponame
Das ist problematisch, denn jetzt ist anotheruser/reponame das Standardziel für Pull Requests, und es ist nicht bequem, es jedes Mal zu ändern, wenn ich einen öffne. Ich vermute, dass ich meinen Fork einfach löschen und einen neuen erstellen könnte, aber gibt es einen saubereren Weg, dies zu tun? Ich konnte nichts Relevantes in der Repo-Verwaltung finden.
T