On 09/05/2021 09:05, Stanislav Malyshev wrote:
I don't see how we could "just move" if all our bug handling would be wired into Github. I can easily see how we could move a repo to any provider that supports git - git is a generic platform, Github is just a frontend. But there's no alternative frontend for Github Issues that we could just copy the data into - you move, you lose your existing system. There are probably import tools on some platforms, but the processes, assignments, etc. - all will have to be re-developed, even if we could re-use the raw data.
If Github does something so outrageous that a move is required, it is unlikely to just be PHP that is affected.
Such an eventuality would be all but certain to result in a huge cross-community effort to develop automated migration tools.
Tools such as github already have integrations that allow migrating Github data into their own formats.
I personally am not at all worried about having bugs on github. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
