RFR: 8320358: GHA: ignore jdk* branches
Kevin Rushforth
kcr at openjdk.org
Tue Nov 21 16:05:08 UTC 2023
On Tue, 21 Nov 2023 15:58:58 GMT, Kevin Rushforth <kcr at openjdk.org> wrote:
> However, that's an interesting point about it excluding a username that begins with `jdk` given how the bot creates the branch name for the `/backport` command.
I note that this would be easy to fix by changing the bot to use `backport-USERNAME-SHORTHASH` instead of the current where `USERNAME` is first.
-------------
PR Comment: https://git.openjdk.org/jdk/pull/16763#issuecomment-1821208830
More information about the build-dev
mailing list