Learn more about these different git repos.
Other Git URLs
We are able to merge PRs whose original fork was deleted since we copy the PR branch to the upstream project, but viewing the pull request fails with a 500.
This is blocking #4590
Metadata Update from @jlanda: - Issue close_status updated to: Fixed - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.