You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Jun 21, 2023. It is now read-only.
Repository navigation
This repository was archived by the owner on Jun 21, 2023. It is now read-only.
There is possibly another edge case where a user submits a PR and then deletes their fork. What happens to PRs when their downstream repository is deleted?
Activity
grokys commentedon Oct 10, 2018
I think this is caused by the fact that the fork that submitted the PR has a different name.
jcansdale commentedon Oct 11, 2018
There is possibly another edge case where a user submits a PR and then deletes their fork. What happens to PRs when their downstream repository is deleted?