Update jenkins.md

This commit is contained in:
Inaki
2020-03-11 18:17:26 +01:00
committed by GitHub
parent 2906999dd2
commit 63d3d1cc2f

View File

@@ -154,3 +154,4 @@ We should be able to configure this bot to automatically apply labels to PR's ba
* [Jenkins ghprb plugin](https://github.com/jenkinsci/ghprb-plugin)
* [Bors-ng: A merge bot for GitHub Pull Requests](https://github.com/bors-ng/bors-ng)
[![jenkins and openshift](images/jenkins-ose.png)]()