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

[Erik Helin]

> 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.

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

Added commits:
 - b6aec180: Fix bug

Changes:
  - all: https://git.openjdk.java.net/skara/pull/325/files
  - new: https://git.openjdk.java.net/skara/pull/325/files/2d86fa28..b6aec180

Webrevs:
 - full: https://webrevs.openjdk.java.net/skara/325/webrev.01
 - incr: https://webrevs.openjdk.java.net/skara/325/webrev.00-01

  Stats: 2 lines in 1 file changed: 0 ins; 0 del; 2 mod
  Patch: https://git.openjdk.java.net/skara/pull/325.diff
  Fetch: git fetch https://git.openjdk.java.net/skara pull/325/head:pull/325

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