use git protocol rather than ssh to get karta