Integrated: Ensure that the pr head is present locally when pushing a dependency branch

[Robin Westberg]

On Mon, 26 Oct 2020 11:20:04 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> When the pull request branch notifier creates a dependency target branch, we need to ensure that the head commit is actually present locally.

This pull request has now been integrated.

Changeset: 75ace750
Author:    Robin Westberg <rwestberg at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/75ace750
Stats:     1 line in 1 file changed: 1 ins; 0 del; 0 mod

Ensure that the pr head is present locally when pushing a dependency branch

Reviewed-by: ehelin

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

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