I have a simple request. When we switch to git, can we make sure that it still works with https rather than (or in addition to) ssh or anything else? That's pretty critical for me firewall-wise. Yotam