We could see if it might be possible to set up a Jenkins job to build such PRs
so that you get some basic feedback from the CI before having to apply the patch
and building locally. I think it should be possible to do that even for mirrors.

-- Richard

Reply via email to