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@eclipse.org>
To: "Eclipse platform general developers list."
<platform-dev@eclipse.org>
Cc: "Hoepfner, Marcus" <marcus.hoepf...@sap.com>
Sent: 19/05/2022 08:09:14
Subject: Re: [platform-dev] Cannot push to github
g...@github.com: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.
_______________________________________________
platform-dev mailing list
platform-dev@eclipse.org
To unsubscribe from this list, visit
https://www.eclipse.org/mailman/listinfo/platform-dev
