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

[Thomas Mäder <tmader@xxxxxxxxxx>]

Hi folks,

For what it's worth, I've recently updated the jdt contribution guide to represent the simplified flow that Ed mentioned: https://github.com/eclipse-jdt/.github/blob/main/CONTRIBUTING.md

As far as the "where to make branches" question: I don't like too many branches polluting that main repo, so my rule of thumb is to create branches in my fork, unless I expect to collaborate on the branch with other people _before_ opening a PR.

/Thomas

------ Original Message ------

From: "Hoepfner, Marcus via platform-dev" <platform-dev@xxxxxxxxxxx>

To: "Eclipse platform general developers list." <platform-dev@xxxxxxxxxxx>

Cc: "Hoepfner, Marcus" <marcus.hoepfner@xxxxxxx>

Sent: 19/05/2022 08:09:14

Subject: Re: [platform-dev] Cannot push to github git@xxxxxxxxxx:eclipse-platform/eclipse.platform.ui.git

Ok done.

 

 

 

Let’s wait now.

 

 

 

I know we are in the transition phase. But in the end a nice contribution guide will definitely help and lower the barrier to contribute.