ignore dubious HTTP requests which the servlet shouldn't really even be seeing (such as for "/git/*" stuff