updated github-curl-repos