From f7f95805609285672c581f7fcdbd6539aa3a1285 Mon Sep 17 00:00:00 2001 From: Inaki Date: Wed, 29 Apr 2020 19:08:35 +0200 Subject: [PATCH] Update jenkins.md --- docs/jenkins.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/jenkins.md b/docs/jenkins.md index 0c14dc2e..53ed0427 100644 --- a/docs/jenkins.md +++ b/docs/jenkins.md @@ -174,4 +174,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)]() +[![jenkins and openshift](images/jenkins-ose.png)](https://www.cloudbees.com/)