Verwijder een gesloten pull-verzoek van GitHub

Ik heb per ongeluk een verkeerd pull-verzoek gedaan en heb het verzoek uiteindelijk zelf gesloten. Het is momenteel gesloten, maar het is toegankelijk via een directe URL en wordt weergegeven op mijn activiteitenbalk.

Is er een manier om een ​​pull-verzoek volledig te verwijderen, zodat het niet langer toegankelijk is via een URL of wordt weergegeven in je activiteitengeschiedenis?

Antwoord 1, autoriteit 100%

Je kunt een pull-verzoek zelfop geen enkele manier verwijderen — jij en de eigenaar van de repo (en alle gebruikers met push-toegang) kunnen het sluiten, maar het blijft in het logboek staan. Dit maakt deel uit van de filosofie om niet te ontkennen/verbergen wat er tijdens de ontwikkeling is gebeurd.

Als er echter kritieke redenen zijn om het te verwijderen (dit is voornamelijk een schending van de Github-servicevoorwaarden), zal het ondersteuningspersoneel van Github het voor u verwijderen.

Of ze je PR al dan niet voor je willen verwijderen, kun je ze gemakkelijk vragen, stuur ze gewoon een e-mail op [email protected]

UPDATE:Momenteel vereist Github dat ondersteuningsverzoeken hier worden gemaakt: https://support .github.com/contact

Antwoord 2, autoriteit 9%

5 stappen om te doen wat je wilt als je het pull-verzoek hebt gedaan vanuit een gevorkte repository:

1. het pull-verzoek opnieuw openen
2. afrekenen naar de branch waar je het pull-verzoek hebt gedaan
3. reset commit naar de laatste master commit (dat betekent: verwijder al je nieuwe code). Commando: git reset --hard commit_hash_here
4. git push --force
5. verwijder je gevorkte repository die het pull-verzoek heeft gedaan

En alles is gedaan, veel succes!

Antwoord 3, autoriteit 8%

Dit is het antwoord dat ik van Github ontving toen ik hen vroeg een pull-verzoek te verwijderen:

“Bedankt voor het contact! Pull-verzoeken kunnen momenteel niet worden verwijderd via de gebruikersinterface en we verwijderen pull-verzoeken alleen als ze gevoelige informatie bevatten, zoals wachtwoorden of andere inloggegevens.”

Antwoord 4

Het is eigenlijk heel eenvoudig:

Je kunt het legen, dat is het beste wat je kunt doen.

1. Ga naar uw lokale

2. Kopieer uw lokale filiaal unwanted-branch(waartegen de PR werd geopend) naar een nieuw filiaal new-branch. Dit kopiëren is relevant als u er om welke reden dan ook een back-up van wilt maken. Ga anders naar stap 3.

   • $ git branch -b new-branch
   • $ git merge unwanted-branch
   • $ git push

3. Leeg de unwanted-branch

   • $ git checkout unwanted-branch
   • $ git reset --hard HEAD~n#n is the number of commit the branch has
   • $ git push -f

Geniet, je PR is nu leeg en gesloten ;). Ga naar afstandsbediening en verwijder de ongewenste tak als je er last van hebt.