From: Vincent Bernat <vincent@bernat.im>
Date: Tue, 21 Nov 2017 14:28:00 +0000 (+0100)
Subject: fab: remove push rule
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=01b395f062396a5c7e8d901cd70a16aa1871f5b3;p=thirdparty%2Flldpd.git

fab: remove push rule

The trick is to use a different worktree.
---

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")