Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [platform-dev] Has the time come?

On Thu, 18 Mar 2021 at 09:31, Mickael Istria <mistria@xxxxxxxxxx> wrote:
You picked the example that suits your answer. Picking https://github.com/eclipse/eclipse.jdt.core with 198 stars and 127 forks can bring different conclusions.

I think this one is a great example. There are 8 open PRs (and 6 closed ones) on that GH repo. AFAICT only a fraction of them have transitioned their improvement to gerrit.

I have submitted a change to fix the language on https://wiki.eclipse.org/Development_Resources/Contributing_via_Git#via_GitHub which implies that PRs are actually accepted :-)

 Jonah

Back to the top