Corrected documentation (issue 115)

James Moger

2012-08-03 5efc4a2f4a3b6c029c0f22f485393669a735d805

 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;

      }