On 04/18/2015 04:11 PM, Thomas De Schampheleire wrote:
# HG changeset patch
# User Thomas De Schampheleire <thomas.de.schamphele...@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
_______________________________________________
kallithea-general mailing list
kallithea-general@sfconservancy.org
http://lists.sfconservancy.org/mailman/listinfo/kallithea-general
