[Python-Dev] Re: Steering Council Update (July through October)

2019-11-10 Thread Petr Viktorin
[PEP 484](https://www.python.org/dev/peps/pep-0484/) policy for inclusion of stubs in typeshed was discussed and the [PR](https://github.com/python/peps/pull/1218/) around it. It was decided that a sentence would be changed to make type stubs an opt-out situation and not opt-in.  - [PEP 608](ht

[Python-Dev] Re: Steering Council Update (July through October)

2019-11-09 Thread Wes Turner
Thanks for these minutes and for cc'ing the list with them! :+1: :clap: (markdown emoji) I know that I can: - click 'Watch' on the GitHub repo [1] to get notifications when there are changes - get an 'Activity Summary' digest email from discuss.python.org (Discourse) when I haven't logged in late