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 <br...@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@python.org > https://mail.python.org/mailman/listinfo/python-dev > Unsubscribe: > https://mail.python.org/mailman/options/python-dev/victor.stinner%40gmail.com > _______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
