Re: [platform-dev] Has the time come?

[Jonah Graham <jonah@xxxxxxxxxxxxxxxx>]

The idea of allowing contributors to decide how they want to contribute is an interesting idea. Eclipse CDT has had a mirror on github for a long time, and, as you can't disable Pull Requests on a GitHub repo, we get a sporadic PR via the GH web interface. I wonder whether as an early transition point simply allowing those that want to provide a change via a PR would work?

Jonah

~~~
Jonah Graham
Kichwa Coders
www.kichwacoders.com

On Tue, 16 Mar 2021 at 11:37, Wim Jongman <wim.jongman@xxxxxxxxx> wrote:

Instead of pushing to a branch in the main repo which is for committers only, there is also the "Fork Workflow". This would be the workflow for contributors.

I've added this to the wiki: https://wiki.eclipse.org/Platform-releng/Migration_To_GitHub

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