> Ah, it's because you specified the GitHub project name as "charLS" but the > project name is actually "charls". Fix this in the github.setup line, and > then you can remove the unnecessary name and worksrcdir lines.
Right. Changed it and committed again. Thanks a bunch. Yeah, the message is pretty obscure. I will dig into this later when I have five minutes. Thanks again, Vincent
