I successfully used git filter-branch
(following the instructions here) to remove certain files from my repository. Upon inspection, it looks like they are completely gone from the commit history. However if I open up any of the previously closed pull requests, navigate to the commits and browse the repository at the time of the pull request, it looks like they are still there. Is there any way to rewrite the commit history of all pull requests (or even better: remove closed pull requests altogether)?
Asked
Active
Viewed 324 times
0
-
1the answer would probably depend on the server used. – max630 Nov 19 '18 at 18:10
-
I'm using github.com – Floris Nov 19 '18 at 18:13
-
Pull requests are web-server add-ons, not part of Git itself, so it's not surprising that Git itself can't get rid of them either. GitHub in particular have a bunch of extra stuff they do that requires using their interfaces; I don't know if they have a way to clean out old pull requests other than deleting the repository entirely. – torek Nov 19 '18 at 19:31
-
It seems so, after a bit of more searching I stumbled upon this question https://stackoverflow.com/questions/18318097/delete-a-closed-pull-request-from-github which suggests it's not possible. – Floris Nov 19 '18 at 20:19