Leyden PRs and repo-leyden bugs

[Erik Joelsson]

The leyden repository has not been configured for "issue notification", 
so Skara is making no attempt at notifying issues in JBS based on 
repository activity. This is a server/bot side configuration that's 
missing. You should not change .jcheck/conf.

If you would like this to be configured, please get the project lead to 
confirm.

/Erik

On 2/10/25 8:37 AM, Aleksey Shipilev wrote:
> (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
>