Move delete repository function into the edit page

James Moger

2014-05-09 b4ed66fda03d83fd281ca9cbeae0a1c7785489e4

 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.
    *