Leyden PRs and repo-leyden bugs
Aleksey Shipilev
shipilev at amazon.de
Mon Feb 10 16:37:20 UTC 2025
(cc'ing leyden-dev@)
Hi Skara devs!
I was wondering what kind of config Leyden repo is missing, so that PRs are not closed
automatically? See for example this bug:
https://bugs.openjdk.org/browse/JDK-8348960
...and here is the integrated PR:
https://github.com/openjdk/leyden/pull/30
I suspect the problem might be that PRs are targeting the "premain", not "master" branch? Is there a
way to tell bots to treat "premain" branch as repo-leyden, maybe?
Here is jcheck for premain branch:
https://github.com/openjdk/leyden/blob/premain/.jcheck/conf
--
Thanks,
-Aleksey
More information about the leyden-dev
mailing list