Integrated: 1082: Add ide label and ide-support-dev to JDK repos
Erik Joelsson
erikj at openjdk.java.net
Tue Jun 15 19:50:48 UTC 2021
On Tue, 15 Jun 2021 19:32:30 GMT, Erik Joelsson <erikj at openjdk.org> wrote:
> Add automatic PR label "ide-support" for IDE related files. The rest of the configuration is done elsewhere.
This pull request has now been integrated.
Changeset: 6ccfbd71
Author: Erik Joelsson <erikj at openjdk.org>
URL: https://git.openjdk.java.net/skara/commit/6ccfbd71737b7d898da58111120eab8b7f6409f6
Stats: 4 lines in 1 file changed: 4 ins; 0 del; 0 mod
1082: Add ide label and ide-support-dev to JDK repos
Reviewed-by: kcr, tbell
-------------
PR: https://git.openjdk.java.net/skara/pull/1189
More information about the skara-dev
mailing list