The more detailed instructions are here:
https://github.com/eclipse-platform/.github/blob/main/CONTRIBUTING.md#recommended-workflow
Yes, you should use a fork with pull requests.
I generally clone the "real" repository and create an additional remote
that points at my fork:
I leave master hooked up to origin/master and create a local branch that
I push to my fork remote. When I'm done I check out master again and
can always pull from the real original clone (so no need to manually
sync my fork with the original).
On 18.05.2022 13:36, Hoepfner, Marcus via platform-dev wrote:
Hi,
did not follow all the discussion how to contribute after moved to github.
Do I need to fork or can I push to new branch in
g...@github.com:eclipse-platform/eclipse.platform.ui.git?
How do I become contributer in that repo?
I want to develop a feature, not about a bug fix.
https://github.com/eclipse-platform/eclipse.platform.ui/blob/master/CONTRIBUTING.md
does not really say a lot and points to a wiki page which is talking
about gerrit.
Thanks, Marcus
_______________________________________________
platform-dev mailing list
platform-dev@eclipse.org
To unsubscribe from this list,
visithttps://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
