Koen Serry
2014-08-03 538991e465c7a3badceb5629c3410e16cc900778
src/main/java/com/gitblit/manager/IRepositoryManager.java
@@ -339,6 +339,15 @@
   void updateConfiguration(Repository r, RepositoryModel repository);
   /**
    * Returns true if the repository can be deleted.
    *
    * @param model
    * @return true if the repository can be deleted
    * @since 1.6.0
    */
   boolean canDelete(RepositoryModel model);
   /**
    * Deletes the repository from the file system and removes the repository
    * permission from all repository users.
    *