[Python-Dev] GH-NNNN vs #NNNN in merge commit

[Mariatta Wijaya]

>
> That would be best solution (I think it would solve
> https://github.com/python/miss-islington/issues/16 too) but it's more
> complicated than the extension idea :) I have some time work on it if
> you'd like to implement the mergebot idea.


+1 for the mergebot! :)

New bot or miss-islington's new job?

Still +1 either way, as long as other core devs are fine with it too :)


Mariatta Wijaya
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-dev/attachments/20180125/5de8edc8/attachment.html>