Don't use ssh for public repos.

(It makes it a lot harder to do all the cloning.)