Closed evalaplace closed 1 month ago
@evalaplace sorry, apparently we are heavily GitHub biased, and the script isn't smart enough to deal with arbitrary repo addresses. I'll open an issue. Sorry for the bother!
I think that problem was fixed by #156; can you update this PR?
I think the repo entry is correct, but our parser is wrong in complaining "package repo is not in correct format".
This just needed a rebase; CircleCI doesn't build the merge head.
PR Summary