Use https link for repo_url

Simple change to have repo_url use https instead of http.