From f33d0703d71f34fb526cb05a11c2b1cdaf7cecf4 Mon Sep 17 00:00:00 2001
From: Yuxiang Zhu <yuxzhu@redhat.com>
Date: Oct 22 2018 03:07:12 +0000
Subject: CI/CD: Disable doc push temporarily


Let's temporarily disable the doc push until <https://pagure.io/pagure/issue/3919> is fixed.

---

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.