RFR: Allow a source repository to be removed

[Erik Helin]

On Mon, 3 Aug 2020 04:58:22 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> Hi all,
> 
> Please review this small change that adds support for PRs where the source repository has been removed.
> 
> Best regards,
> Robin

Looks good!

-------------

Marked as reviewed by ehelin (Reviewer).

PR: https://git.openjdk.java.net/skara/pull/708