dutch translations. why the original shows up, I have no idea

Jeroen Baten

2014-03-08 b01c943a26ba0eba27cc83a5740a6387a27a2151

 src/main/java/com/gitblit/servlet/GitFilter.java

@@ -191,15 +191,8 @@
         return false;

      }

      if (action.equals(gitReceivePack)) {

         // Push request

         if (user.canPush(repository)) {

            return true;

         } else {

            // user is unauthorized to push to this repository

            logger.warn(MessageFormat.format("user {0} is not authorized to push to {1}",

                  user.username, repository));

            return false;

         }

         // push permissions are enforced in the receive pack

         return true;

      } else if (action.equals(gitUploadPack)) {

         // Clone request

         if (user.canClone(repository)) {