git protocol change

https works better when firewalled