Peter Allin
2012-08-07 a02998032e7077e3e744d5725485023097bf30f0
src/com/gitblit/GitServlet.java
@@ -231,6 +231,7 @@
         if (user == null) {
            // anonymous push, create a temporary usermodel
            user = new UserModel(person.getName());
            user.isAuthenticated = false;
         }
         return user;
      }