Merge pull request #1073 from gitblit/1062-DocEditorUpdates

Paul Martin

2016-04-30 a502d96a860456ec5e8c96761db70f7cabb74751

 src/site/plugins_extensions.mkd

@@ -338,6 +338,16 @@
    }

    @Override
    public void onFork(RepositoryModel origin, RepositoryModel fork) {
       log.info("{} forked to {}", origin, fork);
    }

    @Override
    public void onRename(String oldName, RepositoryModel repo) {
       log.info("{} renamed to {}", oldName, repo);
    }

    @Override
    public void onDeletion(RepositoryModel repo) {
       log.info("Gitblit deleted {}", repo);
    }