Re: [Python-Dev] Microsoft to acquire GitHub for $7.5 b

2018-06-13 Thread Nick Coghlan
On 13 June 2018 at 04:47, Mariatta Wijaya wrote: > Backing up GitHub data has been brought up since the time we migrated to > GitHub, and being tracked here: https://github.com/pytho > n/core-workflow/issues/20 > > TL;DR We'll be using GitHub's new Migrations API >

Re: [Python-Dev] Microsoft to acquire GitHub for $7.5 b

2018-06-12 Thread Mariatta Wijaya
Backing up GitHub data has been brought up since the time we migrated to GitHub, and being tracked here: https://github.com/pytho n/core-workflow/issues/20 TL;DR We'll be using GitHub's new Migrations API to download archived GitHub data of CPytho

Re: [Python-Dev] Microsoft to acquire GitHub for $7.5 b

2018-06-07 Thread Chris Angelico
On Fri, Jun 8, 2018 at 3:33 AM, Chris Barker - NOAA Federal via Python-Dev wrote: > Any service could change or fail. Period. > > So we shouldn’t want valuable information about Python development > only in gitHub. > > I don’t know how hard it is to backup / mirror an entire repo — but it > sure s

Re: [Python-Dev] Microsoft to acquire GitHub for $7.5 b

2018-06-07 Thread Chris Barker - NOAA Federal via Python-Dev
> We shouldn't be uniquely or especially concerned just because > Microsoft has purchased Github. Nothing has changed. Exactly — but this change HAS made people think about an issue that we should have already been thinking about. At the end of the day, anyone, or any project, would be well serv

Re: [Python-Dev] Microsoft to acquire GitHub for $7.5 b

2018-06-06 Thread Steven D'Aprano
On Wed, Jun 06, 2018 at 05:59:17PM -0700, Chris Jerdonek wrote: > Is the “service” they provide (and what it needs) allowed to change over > time, so that the rights granted can expand? Of course it can change. And they might not even need to give us notice. But that's no different from any othe

Re: [Python-Dev] Microsoft to acquire GitHub for $7.5 b

2018-06-06 Thread Chris Jerdonek
On Tue, Jun 5, 2018 at 7:03 PM Ivan Pozdeev via Python-Dev < python-dev@python.org> wrote: > On 05.06.2018 17:28, Martin Gainty wrote: > > who owns the Data hosted on Github? > > Github Author? > Microsoft? > > > Martin > > > https://help.github.com/articles/github-terms-of-service/#d-user-generat

Re: [Python-Dev] Microsoft to acquire GitHub for $7.5 b

2018-06-05 Thread Alex Walters
> -Original Message- > From: Python-Dev list=sdamon@python.org> On Behalf Of Ivan Pozdeev via Python-Dev > Sent: Tuesday, June 5, 2018 10:01 PM > To: python-dev@python.org > Subject: Re: [Python-Dev] Microsoft to acquire GitHub for $7.5 b > > On 05.06.2

Re: [Python-Dev] Microsoft to acquire GitHub for $7.5 b

2018-06-05 Thread Ivan Pozdeev via Python-Dev
On 05.06.2018 17:28, Martin Gainty wrote: who owns the Data hosted on Github? Github Author? Microsoft? Martin https://help.github.com/articles/github-terms-of-service/#d-user-generated-content : "/You own content you create, but you allow us certain rights to it, so that we can display a

Re: [Python-Dev] Microsoft to acquire GitHub for $7.5 b

2018-06-05 Thread Martin Gainty
who owns the Data hosted on Github? Github Author? Microsoft? Martin __ From: Python-Dev on behalf of M.-A. Lemburg Sent: Tuesday, June 5, 2018 7:54 AM To: Antoine Pitrou; python-dev@python.org Subject: Re: [Pyth