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. Looks good! ------------- Marked as reviewed by ehelin (Reviewer). PR: https://git.openjdk.java.net/skara/pull/892