Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Jenkinsfile was based on the gerrit code review plugin and I have now changed my Jenkins config to the gerrit trigger plugin instead and then all projects use the same config file instead of each having its own. Change-Id: I8b55635b20e68596baea1ed6d6daad7aa9df1f9d
- Loading branch information