Changed default repo to use https instead of git. Some servers may not have port 9418 open.