[PATCH] pullrequests: add support for custom pull request id prefix

[Mads Kiilerich]

On 04/18/2015 04:11 PM, Thomas De Schampheleire wrote:
> # HG changeset patch
> # User Thomas De Schampheleire <thomas.de.schampheleire at gmail.com>
> # Date 1429265659 -7200
> #      Fri Apr 17 12:14:19 2015 +0200
> # Node ID 6e760af6050e567239155a7a43b5ab02eddf877d
> # Parent  32de32f6946110ecd0b8d2c79f0270025f3afaca
> pullrequests: add support for custom pull request id prefix
>
> Currently, a pull request id is referenced as #5, and the '#' symbol is fixed.
> This commit adds a configuration parameter 'pull_request_prefix', defaulting
> to '#', that can be used to customize the prefix.
>
> For example, one could use 'PR-' to create references of the form 'PR-5'.

Yes, the # notation is weird.

But we can't make everything configurable. I think it would be better to 
just use 'PR-' everywhere.

/Mads