| Re: [platform-dev] Has the time come? |
At least ASF "gitbox" support a "double-master-setup": https://gitbox.apache.org/from a git perspective this would also be possible without any tooling support:
- clone the "master"-git repo - add the "mirror" as a another origin - pull the "mirror" orgin and merge/cherry-pick the PR from the other branch - push to master + mirror Am 16.03.21 um 17:32 schrieb Jonah Graham:
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 <http://www.kichwacoders.com>On Tue, 16 Mar 2021 at 11:37, Wim Jongman <wim.jongman@xxxxxxxxx <mailto: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 <https://wiki.eclipse.org/Platform-releng/Migration_To_GitHub> _______________________________________________ platform-dev mailing list platform-dev@xxxxxxxxxxx <mailto:platform-dev@xxxxxxxxxxx> To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev <https://www.eclipse.org/mailman/listinfo/platform-dev> _______________________________________________ platform-dev mailing list platform-dev@xxxxxxxxxxx To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev