use public https urls for git repos, not ssh urls