From bbf8b95ae7409dd58767fa16ad7d2e6cbf8cc8a5 Mon Sep 17 00:00:00 2001
From: Griatch <griatch@gmail.com>
Date: Sat, 13 Jun 2020 00:07:23 +0200
Subject: [PATCH] [fix] Disable deploy temporarily

---
 docs/Makefile  | 2 +-
 docs/deploy.sh | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/docs/Makefile b/docs/Makefile
index 219e56c1c7..188de8c633 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -115,6 +115,6 @@ deploy:
 # build and prepare the docs for release
 release:
 	make mv-local
-	# make _mv-deploy
+	make _mv-deploy
 	@echo ""
 	@echo "Deployment complete."
diff --git a/docs/deploy.sh b/docs/deploy.sh
index 05712c8111..cea9c56a2c 100644
--- a/docs/deploy.sh
+++ b/docs/deploy.sh
@@ -17,7 +17,8 @@ mv build/html/versions .
 git add versions
 
 git commit -a -m "Updated HTML docs"
-git push origin gh-pages
+echo "Skipping deployment"
+# git push origin gh-pages
 
 # get back to previous branch