On Wed, Mar 10, 2021 at 8:48 PM Mickael Istria <[email protected]> wrote:
> The thing is that, technically speaking, GitHub is not an improvement over > Gerrit and Bugzilla. A few things are better, many things are worse... > Going to GitHub wouldn't improve the workflows themselves. The only major > benefit is the amount people who are familiar with it. > That's exactly it. As step 1, we could move the source to GitHub, open it for contributors and keep the rest of the process as it is. Jonah mentioned that Gerrit is able to pull PR as changes. Could we keep Gerrit and tie issues to Bugzilla's?
_______________________________________________ platform-dev mailing list [email protected] To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
