Improve milestone listing and include closed milestones

James Moger

2014-04-15 a961100556e5a8aa301261f08319c54bc49ace59

 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)) {