Graphite Community

How do I remove a PR from Graphite, when we no longer have access to the actual PR any more?

We have a PR that was created by an engineer, but his Github account got blocked by GH and now we can't remove it from Graphite

(If applicable) To help us more clearly understand what you're trying to do, please provide additional details about:
- Screenshots / debug logs / list of commands you've tried to run so far
- Your workflow
- Current state


Hey Dan — mind sharing a link to the PR?


Also, what do you mean by "remove" exactly? can you close / delete the PR in github? is this causing a problem elsewhere?


I can't close it in Github, so when I try to close it in Graphite, it fails, so the PR hangs around in the graphite inbox

Could you share the PR number and repo name? also OOC is this causing issues or just confusing to people?


Lemme talk to the engineer in question; I think he got his Github issue fixed, so this might not be visible any more :confused:
Mostly just confusing, since it's not clear that a PR is "broken" and so shouldn't be reviewed