Add plugins/extension infrastructure

David Ostrovsky

2014-03-09 84f406bfd20ec2076cf7616e7f396ad480513bc4

 src/main/java/com/gitblit/manager/RepositoryManager.java

@@ -1821,6 +1821,9 @@
   protected void confirmWriteAccess() {
      if (runtimeManager.isServingRepositories()) {
         try {
            if (!getRepositoriesFolder().exists()) {
               getRepositoriesFolder().mkdirs();
            }
            File file = File.createTempFile(".test-", ".txt", getRepositoriesFolder());
            file.delete();
         } catch (Exception e) {