[Rev 02] RFR: 198: git-pr should remember mapping between PR and local branch

[Robin Westberg]

On Fri, 13 Dec 2019 10:19:34 GMT, Erik Helin <ehelin at openjdk.org> wrote:

>> Hi all,
>> 
>> please review this patch that adds a mapping between pull requests and local
>> branches. This is done by adding a section per local branch to the
>> repositorie's local configuration file, for example:
>> 
>> [pr "skara-198"]
>> id = 310
>> 
>> Thanks,
>> Erik
> 
> The pull request has been updated with 1 additional commit.

Looks good!

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

Marked as reviewed by rwestberg (Reviewer).

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