The gen/make.jl script uses a GitHub token and Git credential helpers #13
Description
Would be nice to unify the credential handling so only one of these method has to be used and not both.