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.jong...@gmail.com
<mailto: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
<https://wiki.eclipse.org/Platform-releng/Migration_To_GitHub>
_______________________________________________
platform-dev mailing list
platform-dev@eclipse.org <mailto:platform-dev@eclipse.org>
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@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
