Integrated: Allow a source repository to be removed

[Robin Westberg]

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

This pull request has now been integrated.

Changeset: 9a388094
Author:    Robin Westberg <rwestberg at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/9a388094
Stats:     25 lines in 7 files changed: 0 ins; 10 del; 15 mod

Allow a source repository to be removed

Reviewed-by: ehelin

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

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