On Tue, 21 Nov 2023 15:58:58 GMT, Kevin Rushforth <k...@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