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. Good catch. ------------- Marked as reviewed by tbell (Reviewer). PR: https://git.openjdk.java.net/skara/pull/1189