On Jun 6, 2019, at 01:43, Ned Deily wrote:
>
> https://discuss.python.org/t/python-3-7-4rc1-and-3-6-9rc1-cutoffs-ahead-now-set-for-2019-06-17/1824
> [...]
> Following the rc1 cutoff, changes merged to the
> 3.7 branch will be released in 3.7.5 three months from now unless you
> mark the issue as
Excellent thought.
On Fri, Jun 28, 2019 at 6:49 PM Ned Deily wrote:
>
> On Jun 28, 2019, at 12:56, Mariatta wrote:
> > Some of the items brought up during the language summit:
> > [...]
> > - we should be updating devguide ahead of the actual migration, so core
> developers and release managers
> You have missed at least one: the minimum technology requirement for
> using Github is a lot more stringent than for Roundup. Github's minimum
> system requirements are higher, and it doesn't degrade as well, so
> moving to Github will make it much harder for those who are using older
> technolog
On Fri., 14 Jun. 2019, 2:05 am Steve Dower, wrote:
> On 13Jun2019 0816, Jeroen Demeyer wrote:
> > On 2019-06-13 17:11, Steve Dower wrote:
> >> The cost of that convenience is that
> >> we can never optimise internals because they are now public API.
> >
> > I think that the opposite is true actua
On Fri, Jun 28, 2019 at 09:56:26AM -0700, Mariatta wrote:
> Hi,
>
> I've updated PEP 581 yesterday, adding the "Downsides of GitHub" section.
>
> https://www.python.org/dev/peps/pep-0581/#downsides-of-github
You have missed at least one: the minimum technology requirement for
using Github is a