On Tue, 21 Nov 2023 16:02:16 GMT, Kevin Rushforth <k...@openjdk.org> wrote:

> 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.

It also have the benefit of being more logical. :-)

-------------

PR Comment: https://git.openjdk.org/jdk/pull/16763#issuecomment-1821215456

Reply via email to