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

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

Commits:
 - 2d86fa28: skara-198
 - 93f984ad: skara-198

Changes: https://git.openjdk.java.net/skara/pull/325/files
 Webrev: https://webrevs.openjdk.java.net/skara/325/webrev.00
  Issue: https://bugs.openjdk.java.net/browse/SKARA-198
  Stats: 74 lines in 5 files changed: 66 ins; 4 del; 4 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