Allow use of ssh over https for pulling repos

This is a simple change that will allow the use of github ssh urls over https.