HTTP Servlet for Git