On 04/20/2015 11:58 AM, Thomas De Schampheleire wrote:
On Mon, Apr 20, 2015 at 11:55 AM, Thomas De Schampheleire
<[email protected]> wrote:
On Sun, Apr 19, 2015 at 6:16 PM, Mads Kiilerich <[email protected]> wrote:
Also, global IDs have the benefit of being completely standalone. If
we have per-repo IDs, I cannot tell you 'look at pull request 5',
because I would have to tell you which repo to look in.
Note: to make this really work, we should add a URL that accepts a
pull request ID alone. Currently the pull request URL requires the
repo already, so today my argument is not fully correct.
Yeah, use different ranges and make a service that redirects to the
right server ;-)
Somewhat related: we should really so some URL cleanup ...
/Mads
_______________________________________________
kallithea-general mailing list
[email protected]
http://lists.sfconservancy.org/mailman/listinfo/kallithea-general
