Do not redirect git over http

It was probably a bug that these URLs were ever being redirected since
they're not part of the web UI.

Change-Id: Idc8efa9999111d96ef2951eecb0e0d2dbe141f91

src/main/java/com/googlesource/gerrit/plugins/loginredirect/LoginRedirectFilter.java

diff --git a/src/main/java/com/googlesource/gerrit/plugins/loginredirect/LoginRedirectFilter.java b/src/main/java/com/googlesource/gerrit/plugins/loginredirect/LoginRedirectFilter.java
index 39930cf..b4fd765 100644
--- a/src/main/java/com/googlesource/gerrit/plugins/loginredirect/LoginRedirectFilter.java
+++ b/src/main/java/com/googlesource/gerrit/plugins/loginredirect/LoginRedirectFilter.java
@@ -16,10 +16,12 @@
 import com.google.gerrit.extensions.registration.DynamicItem;
 import com.google.gerrit.extensions.restapi.Url;
 import com.google.gerrit.httpd.AllRequestFilter;
+import com.google.gerrit.httpd.GitOverHttpServlet;
 import com.google.gerrit.httpd.WebSession;
 import com.google.inject.Inject;
 import com.google.inject.Singleton;
 import java.io.IOException;
+import java.util.regex.Pattern;
 import javax.servlet.FilterChain;
 import javax.servlet.ServletException;
 import javax.servlet.ServletRequest;
@@ -51,6 +53,7 @@
         || path.equals("/ssh_info")
         || path.startsWith("/static/")
         || path.startsWith("/tools/hooks/")
+        || Pattern.compile(GitOverHttpServlet.URL_REGEX).matcher(path).matches()
         || sessionProvider.get().isSignedIn()) {
       chain.doFilter(request, response);
     } else {

src/main/resources/Documentation/about.md

diff --git a/src/main/resources/Documentation/about.md b/src/main/resources/Documentation/about.md
index f63cabe..9447377 100644
--- a/src/main/resources/Documentation/about.md
+++ b/src/main/resources/Documentation/about.md
@@ -1 +1 @@
-Redirect anonymous users to login form.
+Redirect anonymous web UI users to the login page.