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.jong...@gmail.com> 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@eclipse.org > To unsubscribe from this list, visit > https://www.eclipse.org/mailman/listinfo/platform-dev >
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
