> Seems like the right implementation to me. Does anybody disagree that a >> bug report with a PR is the way to move forward on this? >> > > Depends if you're okay with the PR potentially being rejected because the > idea gets rejected. If you're fine with that then do both, if you're not > then I would open the issue to make sure other core devs don't object. > > Sounds like opening an issue first is the way to go, I'll do that.
> https://devguide.python.org/ should have everything you need (and if it > doesn't then please submit a PR to fix it 😉). > > -Brett > > Thanks!
_______________________________________________ Python-ideas mailing list -- python-ideas@python.org To unsubscribe send an email to python-ideas-le...@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/APVSW6YQ6BJUJPY4ZMIO2VTZNO3Y766T/ Code of Conduct: http://python.org/psf/codeofconduct/
