On Fri, 6 Sep 2019 at 11:11, Rowan Tommins <rowan.coll...@gmail.com> wrote: > > On Thu, 5 Sep 2019 at 22:45, Peter Kokot <peterko...@gmail.com> wrote: > > > GitHub usage is inevitable. > > > > Did you use the wrong word here, or are you saying that, of all the > hundreds of different platforms we could investigate, there is no chance > that we would end up using something other than github?
Plastic analogy - adding "127.0.0.1 github.com" to your /etc/hosts file shows that developer cannot bring most of the today's (PHP) projects to any working state without using it. That's what is meant by inevitable because everything open source today is either on GitHub and some minor ones scattered around custom Git repos and other Git hosting providers. PHP is already using GitHub. Is it moving to something else? No, so let's not complicate things more with other hosting providers now. USA political issues and embargo on some countries are indeed a reason I'm also willing to accept that PHP won't be using GitHub otherwise. For other reasons presented here, none is convincing enough to me honestly. -- Peter Kokot -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
