[Rev 02] 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:
 - 1d5644bc: Clean up temporary test directories

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

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

  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 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