Leyden PRs and repo-leyden bugs

[Aleksey Shipilev]

(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