force ssh instead of https for git pushes