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

INADA Naoki songofacandy at gmail.com
Thu Jan 25 05:42:07 EST 2018


Devguide says:

Replace the reference to GitHub pull request #NNNN with GH-NNNN. If
the title is too long, the pull request number can be added to the
message body.


But there are more #NNNN than GH-NNNN in commit log.

Where should we go?
Encourage GH-NNNN? or abandon it and use default #NNNN?

INADA Naoki  <songofacandy at gmail.com>

More information about the Python-Dev mailing list