Merged #198 "Update to JGit 3.5.0.201409260305-r"

James Moger

2014-09-30 48abb4945e4b3c9b31b09005e72c7c205128d092

 src/main/java/com/gitblit/tickets/QueryResult.java

@@ -74,6 +74,14 @@
      return type != null && Type.Proposal == type;
   }

   public boolean isOpen() {
      return !status.isClosed();
   }

   public boolean isClosed() {
      return status.isClosed();
   }

   public boolean isMerged() {
      return Status.Merged == status && !StringUtils.isEmpty(mergeSha);
   }