Re: [platform-dev] Cannot push to github git@xxxxxxxxxx:eclipse-platform

[Ed Merks <ed.merks@xxxxxxxxx>]

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 git@xxxxxxxxxx: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@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev