Bot reusing branch names?

[Johan Vos]

Until recently, all PR's from the openjdk-bots that were created to allow
solving conflicts when merging commits from openjdk/jdk:HEAD into
openjdk/mobile:HEAD went fine.
The last PR that was created though [1], seems to be weird and I wonder if
there is something wrong with the PR generation.

>From the github website, it seems there are 25 files with a conflict,
although that does not seem to be true when I compared them manually.
The usual process of fixing the merge conflicts and pushing them to the
openjdk-bots/mobile:+2 branch did not trigger the next steps in the PR on
openjdk/mobile.

What surprises me is that the latest branch in the openjdk-bots/mobile
repository has the name "2". In the past, those branches had incremental
names, and the previous branch was named "14". I expected to see a branch
named "15" but the PR was raised from a branch named "2" which is 27772
commits behind the master of openjdk/mobile.

- Johan

[1] https://github.com/openjdk/mobile/pull/22
[2] https://github.com/openjdk-bot/mobile/tree/14
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/skara-dev/attachments/20240425/239731c7/attachment.htm>