Fixed bug where owner could not edit a repository through web ui

James Moger

2012-10-22 2711bc82a373a3c2e357b5948e2a6e0c477d8534

 src/com/gitblit/models/UserModel.java

@@ -227,9 +227,9 @@
            return p;

         }

      } else {

         // search for regex permission match

         // search for case-insensitive regex permission match

         for (String key : permissions.keySet()) {

            if (repository.name.matches(key)) {

            if (StringUtils.matchesIgnoreCase(repository.name, key)) {

               AccessPermission p = permissions.get(key);

               if (p != null) {

                  permission = p;