Remove GitHub repo from repos to build fails

kerolloz · April 11, 2019, 10:19am

I tried several times but I’m always prompted with this error.

Lin-Buo-Ren · April 11, 2019, 10:37am

This is a known issue:

kerolloz · April 11, 2019, 10:49am

Thank you @Lin-Buo-Ren.
I hope it gets fixed soon.