From 01b395f062396a5c7e8d901cd70a16aa1871f5b3 Mon Sep 17 00:00:00 2001
From: Vincent Bernat <vincent@bernat.im>
Date: Tue, 21 Nov 2017 15:28:00 +0100
Subject: [PATCH] fab: remove push rule

The trick is to use a different worktree.
---
 fabfile.py | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/fabfile.py b/fabfile.py
index 7d25fb58..f5c93006 100644
--- a/fabfile.py
+++ b/fabfile.py
@@ -69,8 +69,3 @@ def build():
                 local('git push origin')
     finally:
         shutil.rmtree(tempdir)
-
-def push():
-    """Push production content to remote locations"""
-    local("git push origin gh-pages")
-    local("git push origin website")
-- 
2.39.5