Use HTTPS repo for those without commit access