Re: [m2e-dev] Moving Git repo to GitHub?

[Gayan Perera <gayanper@xxxxxxxxx>]

From UX point of view github makes things more easy. But once you get familiar with gerrit its not a big issue as well. But thinking about attraction of new contributors who are familiar with working in github +1 for moving to github. 

What will happen for ci pipeline, will we still use jenkins or will we use github actions. I personally like the jenkings compared to github actions. But its something to evaluate as well. 

Br,

Gayan

On Tue, 2 Jun 2020 at 12:23, Mickael Istria <mistria@xxxxxxxxxx> wrote:

Hi all,

I saw some PR incoming to GitHub, with people who have rarely pushed them to Gerrit although they were asked to.

Although we can definitely all (particularly Fred :P) agree Gerrit is technically superior by orders of magnitude and does Git right, unlike GitHub, we can also all agree that GitHub is more standard, better known by the mass, and helps at attracting new contributors.

What do other committers or regular contributors think about it? Would you be okay to use GitHub in place of Gerrit or do you foresee some major issues with that migration?

Cheers,

--

Mickael Istria

Eclipse IDE developer, for Red Hat Developers

_______________________________________________
m2e-dev mailing list
m2e-dev@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/m2e-dev