RFR: git-pr: do not fetch pull requests twice

Thu Dec 5 14:28:40 UTC 2019

On Thu, 5 Dec 2019 14:27:11 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> 
> please review this small patch that fixes an issue where `git-pr` would
> unnecessarily download the metadata for all pull requests _twice_.
> 
> Thanks,
> Erik

Looks good!

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

Marked as reviewed by rwestberg (Reviewer).

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