Merge pull request #1039 from gitblit/962-Patchset-Revision-Delete

Paul Martin

2016-04-06 2fca824e349f5fecbf71d940c4521644e92cb0dd

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

@@ -1745,13 +1745,9 @@
    * @return true if successful

    */

   public static boolean deleteBranchRef(Repository repository, String branch) {

      String branchName = branch;

      if (!branchName.startsWith(Constants.R_HEADS)) {

         branchName = Constants.R_HEADS + branch;

      }



      try {

         RefUpdate refUpdate = repository.updateRef(branchName, false);

         RefUpdate refUpdate = repository.updateRef(branch, false);

         refUpdate.setForceUpdate(true);

         RefUpdate.Result result = refUpdate.delete();

         switch (result) {

@@ -1762,10 +1758,10 @@
            return true;

         default:

            LOGGER.error(MessageFormat.format("{0} failed to delete to {1} returned result {2}",

                  repository.getDirectory().getAbsolutePath(), branchName, result));

                  repository.getDirectory().getAbsolutePath(), branch, result));

         }

      } catch (Throwable t) {

         error(t, repository, "{0} failed to delete {1}", branchName);

         error(t, repository, "{0} failed to delete {1}", branch);

      }

      return false;

   }

@@ -2727,5 +2723,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;

   }



}