On Tue, 25 Jul 2017 at 07:30 Ben Hoyt <benh...@gmail.com> wrote: > With the linking back and forth, I'm curious why there wasn't a switch to > use GitHub's issue tracker when we switched to GitHub. I'm sure there was > previous discussion about this and good reasons not to, but couldn't find > those quickly (PEP 512, Google search, etc) -- can someone point me in the > right direction? -Ben >
Basically there was push-back on the idea and I only had enough time and patience for one major infrastructure change that was somewhat controversial and not for two. -Brett > > On Fri, Jul 21, 2017 at 5:28 PM, Brett Cannon <br...@python.org> wrote: > >> Thanks to Kushal Das we now have one of the most requested features since >> the transition: a link in PRs back to bugs.python.org (in a more >> discoverable way since we have had them since Bedevere launched :) . When a >> pull request comes in with an issue number in the title (or one gets >> added), a link to bugs.python.org will be appended to the PR's body (the >> message you fill out when creating a PR). There's no logic to remove the >> link if the issue number is removed from the title, changed, or for >> multiple issue numbers since basically those cases are all rare and it was >> easier to launch without that kind of support. >> >> P.S.: Berker Peksag is working on providing commit emails with diffs in >> them which is the other most requested feature since the transition. >> >> _______________________________________________ >> 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/benhoyt%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
