fix for #967 filestore menu for all users

Paul Martin

2015-12-07 697905cbf3b6fc1d8f22322a4f403b4abe2f0c0a

 src/main/java/com/gitblit/models/FilestoreModel.java

@@ -111,6 +111,15 @@
      repositories.remove(repo);
   }
   
   public synchronized boolean isInRepositoryList(List<String> repoList) {
      for (String name : repositories) {
         if (repoList.contains(name)) {
            return true;
         }
      }
      return false;
   }
	
   public static enum Status {

      Deleted(-30),