From 63d3d1cc2f1e13beb0d4cad4bdbfb530df4c86ba Mon Sep 17 00:00:00 2001 From: Inaki Date: Wed, 11 Mar 2020 18:17:26 +0100 Subject: [PATCH] Update jenkins.md --- docs/jenkins.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/jenkins.md b/docs/jenkins.md index b27c9dbe..812ebbd1 100644 --- a/docs/jenkins.md +++ b/docs/jenkins.md @@ -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)]()