[jdt-dev] Suggestions on Github contributor config

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[jdt-dev] Suggestions on Github contributor config

From: Thomas Mäder <tmader@xxxxxxxxxx>
Date: Tue, 26 Apr 2022 11:28:36 +0000
Delivered-to: jdt-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/jdt-dev/>
List-help: <mailto:jdt-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/jdt-dev>, <mailto:jdt-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/jdt-dev>, <mailto:jdt-dev-request@eclipse.org?subject=unsubscribe>
User-agent: eM_Client/8.2.1659.0

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

Follow-Ups:
- Re: [jdt-dev] Suggestions on Github contributor config
  - From: Thomas Mäder

Prev by Date: Re: [jdt-dev] build trouble
Next by Date: Re: [jdt-dev] build trouble
Previous by thread: [jdt-dev] Planned bugs for 4.24
Next by thread: Re: [jdt-dev] Suggestions on Github contributor config
Index(es):
- Date
- Thread

Breadcrumbs