Merge pull request #1035 from gitblit/1034-RepositoryPageLifecycle

Paul Martin

2016-04-01 2c545280196ded9c042c0a8fa564048338bc19de

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

@@ -367,6 +367,10 @@
                     && file.getName().toLowerCase().endsWith(Constants.PROPOSAL_EXT);
            }
         });
         if (files == null) {
            return list;
         }
				
         for (File file : files) {
            String json = com.gitblit.utils.FileUtils.readContent(file, null);
            FederationProposal proposal = JsonUtils.fromJsonString(json,