REST API and Jenkins Plugin

The REST API lets you administrate workspaces, run searches against the repository, and generate reports. A Jenkins plugin to use the REST API is included for easy integration with the popular continuous integration system.