Morning, I don't want to follow this tangent for too long on owning content.
Pierre, can you point to any contribution that would have been blocked by our use of github ? For all intents and purposes, the majority of new development does actually happen on github. As a result of us being terrible at infrastructure - nobody can deny this - the submit a patch thing on bugsnet was (or is) broken so development had to move to a place that worked. I would find the arguments in favour of owning our content more convincing if we were any good at owning content. We're not, machines go down, forms break, mailing lists stop working ... we suck so hard at this, and github is spending millions on these problems, to not take advantage of what is being offered makes no sense on it's face. I think we should rethink these decisions in light of the current facts about the project. Cheers Joe On Mon, 4 Nov 2019 at 05:54, Pierre Joye <pierre....@gmail.com> wrote: > > > On Sun, Nov 3, 2019, 7:30 AM Benjamin Eberlei <kont...@beberlei.de> wrote: > >> >> Outside pull requests don't live in php-src.git, because they are provided >> by different remotes and these are not as far as I see mirrored back in >> any >> way to php.net git. >> >> So the question Joe poses is right, pull request descriptions and all >> their >> comments are currently only available on Github. >> >> I also question the "we must own everything" rule, as its highly unlikely >> Github will not suddenly remove all php-src data and they provide an API >> to >> backup or migrate data if we ever want to do something else. >> > > > The question is more accessibility. As mentioned before, GH (and other) > increasingly bans countries, or even worse, citizens from a country, or > apps (See spain recently). > > That means some of the valid contributions to php won't be able to > participate if we were using only GH. > > best, >
