Oh, I noticed another strange thing:
The Roundup Robot closed the issue http://bugs.python.org/issue29368
but I don't see any explicit "Close issue #xxx" or "Close #xxx" in the
commit message of the two commits.
Is it deliberate to close an issue after any commit?
Victor
2017-01-31 19:18 GMT+01:00 Brett Cannon <brett at python.org>:
> I've activated the webhook for receiving comments on issues when a commit
> lands mentioning an issue, so if you see a commit from our hg integration
> and another from GitHub, understand that's why (mention issues as "bpo NNNN"
> in commit messages if you want to see it in action). If it becomes too much
> of a hassle to see the duplicates before we migrate I can turn off the
> notifications, but obviously more testing the better. :)
>> _______________________________________________
> Python-Dev mailing list
>Python-Dev at python.org>https://mail.python.org/mailman/listinfo/python-dev> Unsubscribe:
>https://mail.python.org/mailman/options/python-dev/victor.stinner%40gmail.com>
