Use https for github repos (no ssh access here)