Integrated: 1082: Add ide label and ide-support-dev to JDK repos

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