Closed jwodder closed 2 years ago
if that gets us at least a little closer -- should we undraft and merge?
@yarikoptic I don't know about "closer", considering that the script currently aborts upon hitting GitHub's secondary rate limit, which means that it's not even completing successfully.
Looks good, thank you @jwodder ! Let's proceed. I will update submodule on drogon
Closes #10.