Hi folks, Discussing DEPs on Github inside Pull Request comments seems like a really bad idea, because it excludes a whole bunch of people that are subscribed to this list (I always thought this was the sole purpose of this list).
The best thing about PEPs is that they always get posted to python-dev in *full text* and the discussion happens there. The email thread then gets recorded inside the PEP so that 10 years later you can easily read the whole discussion. Github comments don't have this feature, really. Throwing in my 2 cents, Łukasz On 8 May 2014 14:21, Florian Apolloner <f.apollo...@gmail.com> wrote: > Hi, > > > On Thursday, May 8, 2014 2:13:52 PM UTC+2, Carl wrote: >> >> Just noticed this message, and the DEP PRs are still open a week later. >> >> >> Can someone shuffle this along, please? > > > We are in the final stages of 1.7, I personally would rather focus on that > first. > > -- > You received this message because you are subscribed to the Google Groups > "Django developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to django-developers+unsubscr...@googlegroups.com. > To post to this group, send email to django-developers@googlegroups.com. > Visit this group at http://groups.google.com/group/django-developers. > To view this discussion on the web visit > https://groups.google.com/d/msgid/django-developers/1d33bd04-a509-4c34-8bfe-2e4df31a3add%40googlegroups.com. > > For more options, visit https://groups.google.com/d/optout. -- Łukasz Rekucki -- You received this message because you are subscribed to the Google Groups "Django developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to django-developers+unsubscr...@googlegroups.com. To post to this group, send email to django-developers@googlegroups.com. Visit this group at http://groups.google.com/group/django-developers. To view this discussion on the web visit https://groups.google.com/d/msgid/django-developers/CAEZs-EL_x6PB9jYe_OWDfQUYvV%3DH5jA52EBCeFM50xcY%2BLRMTA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
