At some point we are likely to use stabilization branches in the mainline jdk repo rather than a separate repo. In preparation, this PR excludes branches matching `jdk*`, like we currently do for `master` and `pr/*`.
A potential drawback of doing this is that it will exclude developer branches named `jdk-8888888` or similar, using a lower-case `jdk`. Developers who want a GHA run will need to use `JDK` (uppercase) or some other prefix. This is unlikely to be a problem in practice. I checked the most recent 100 open pull requests in the `jdk` repo at the time I created this fix, and while many of them use "JDK" (upper case) as a prefix, I found none that use "jdk" (lower case). #### Testing I pushed the following branch that was even with `jdk:master` at the time I pushed it (thus without this fix). GHA was run as expected: * [jdk-8000000](https://github.com/kevinrushforth/jdk/tree/jdk-8000000) : [GHA run](https://github.com/kevinrushforth/jdk/actions/runs/6910232226) (NOTE: once this fix is integrated, such a branch would not get a GHA run) I pushed the following branches that all include this fix. GHA runs were skipped on the branches that start with `jdk` and run on the others: * [JDK-8320358](https://github.com/kevinrushforth/jdk/tree/JDK-8320358) : [GHA run](https://github.com/kevinrushforth/jdk/actions/runs/6910192534), (you can also see this from this PR's test results) * [gha-exclude-jdk](https://github.com/kevinrushforth/jdk/tree/gha-exclude-jdk) : [GHA run](https://github.com/kevinrushforth/jdk/actions/runs/6910204060) * [jdk12345](https://github.com/kevinrushforth/jdk/tree/jdk12345) : No GHA run * [jdk-8320358-gha](https://github.com/kevinrushforth/jdk/tree/jdk-8320358-gha) : No GHA run ------------- Commit messages: - 8320358: GHA: ignore jdk* branches Changes: https://git.openjdk.org/jdk/pull/16763/files Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=16763&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8320358 Stats: 1 line in 1 file changed: 1 ins; 0 del; 0 mod Patch: https://git.openjdk.org/jdk/pull/16763.diff Fetch: git fetch https://git.openjdk.org/jdk.git pull/16763/head:pull/16763 PR: https://git.openjdk.org/jdk/pull/16763
