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,
