RFR: Fetch PRs using the head hash

Mon Feb 10 14:45:29 UTC 2020

On Mon, 10 Feb 2020 14:05:20 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> Hi all,
> 
> Please review this follow-up fix for faster remote repository materialization that fetches PRs by their head hash instead of a named source ref, as the ref may not be present in the remote repo.
> 
> Best regards,
> Robin

Looks good!

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

Marked as reviewed by ehelin (Reviewer).

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