Git "smart HTTP" protocol server