Re: [jdt-dev] Suggestions on Github contributor config

[Thomas Mäder <tmader@xxxxxxxxxx>]

I've opened https://github.com/eclipse-jdt/.github/pull/11 

/Thomas

PS: if you're wondering about why I reflect this on jdt-dev: collaboration process is something that affects _all_ committers and not everybody is aware of discussions going on in PR's and issues. Reading jdt-dev is one of the few hard requirements for being a committer on an Eclipse project ;-)

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

From: "Thomas Mäder" <tmader@xxxxxxxxxx>

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

Sent: 26/04/2022 13:28:36

Subject: Suggestions on Github contributor config

Hi folks,

I've taken the liberty to open an epic about adding some github configuration related to PRs & issues. I'm looking forward to your comments here: https://github.com/eclipse-jdt/.github/issues/6

/Thomas