[skara] Integrated: Allow merge PRs with an exact hash

[Robin Westberg]

On Mon, 22 Feb 2021 09:35:52 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> Make it possible to create a merge-style PR with commits that are not already present in another existing repository. In this case, the hash of the commit to be merged must be specified, to allow for proper rebase / squash of the merge commit itself.

This pull request has now been integrated.

Changeset: 236a071f
Author:    Robin Westberg <rwestberg at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/236a071f
Stats:     316 lines in 6 files changed: 305 ins; 5 del; 6 mod

Allow merge PRs with an exact hash

Reviewed-by: ihse, ehelin

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

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