Integrated: Allow a remote pre-integration branch to be missing
rwestberg at openjdk.java.net
Tue Oct 20 08:23:36 UTC 2020
On Tue, 20 Oct 2020 08:17:27 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:
> If a pre-integration branch doesn't exist remotely, there's no need to try to delete it.
This pull request has now been integrated.
Author: Robin Westberg <rwestberg at openjdk.org>
Stats: 51 lines in 2 files changed: 49 ins; 0 del; 2 mod
Allow a remote pre-integration branch to be missing
More information about the skara-dev