Tag server-side merges when incremental push tags are enabled

James Moger

2014-05-23 d62d883423c4f13e9514c203d2f0b14e4715df7f

 src/main/java/com/gitblit/auth/PAMAuthProvider.java

@@ -98,7 +98,9 @@
         logger.error(e.getMessage());
         return null;
      } finally {
         pam.dispose();
         if (pam != null) {
            pam.dispose();
         }
      }

        UserModel user = userManager.getUserModel(username);