From 48fdcf285b49a4d792b0e4065b6c8670f913b092 Mon Sep 17 00:00:00 2001
From: Lukas Holecek <lholecek@redhat.com>
Date: Oct 24 2018 13:49:18 +0000
Subject: Merge #246 `CI/CD: Disable doc push temporarily`


---

diff --git a/openshift/pipelines/jobs/waiverdb-dev.env b/openshift/pipelines/jobs/waiverdb-dev.env
index cd378b1..6bbf49b 100644
--- a/openshift/pipelines/jobs/waiverdb-dev.env
+++ b/openshift/pipelines/jobs/waiverdb-dev.env
@@ -1 +1,2 @@
 NAME=waiverdb-dev
+PAGURE_DOC_REPO_NAME= # Temporarily disable doc push to workaround https://pagure.io/pagure/issue/3919. Remove this line when it is fixed.