Merge pull request #1022 from gitblit/974-in-browser-doc-editor

Paul Martin

2016-03-28 33f3580f8f4499ac9cd4812872c94fcdd81a5829

 src/main/java/com/gitblit/utils/JGitUtils.java

@@ -2727,5 +2727,22 @@
      }

      return success;

   }

	
   /**

    * Returns true if the commit identified by commitId is at the tip of it's branch.

    *

    * @param repository

    * @param commitId

    * @return true if the given commit is the tip

    */

   public static boolean isTip(Repository repository, String commitId) {

      try {

         RefModel tip = getBranch(repository, commitId);

         return (tip != null);	
      } catch (Exception e) {

         LOGGER.error("Failed to determine isTip", e);

      }

      return false;

   }



}