Integrated: Allow a source repository to be removed
rwestberg at openjdk.java.net
Mon Aug 3 08:29: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,
This pull request has now been integrated.
Author: Robin Westberg <rwestberg at openjdk.org>
Stats: 25 lines in 7 files changed: 0 ins; 10 del; 15 mod
Allow a source repository to be removed
More information about the skara-dev