Fix to use SSH instead of HTTPS on github.com