Use git protocol instead of https for github