RFR: Allow a source repository to be removed

Erik Helin ehelin at openjdk.java.net
Mon Aug 3 08:19:51 UTC 2020

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

More information about the skara-dev mailing list