I think we shouldn't be speculating or making guesses.

If people are concerned with how Microsoft will manage GitHub, please talk to Microsoft or GitHub representative, and not gossip in python-dev.

If there is actual news or announcement of how GitHub will change, and how it will affect our workflow, we'll discuss in core-workflow.

Mariatta

On Mon, Jun 4, 2018 at 10:02 AM, Antoine Pitrou <solipsis@pitrou.net> wrote:

That's true, but Microsoft has a lot of stakes in the ecosystem.
For example, since it has its own CI service that it tries to promote
(VSTS), is it in Microsoft's best interest to polish and improve
integrations with other CI services?

Regards

Antoine