web: make "push" work on a partial git repo

diff --git a/fabfile.py b/fabfile.py
index 77bbfc3f7cd91072afbc646a747d745a22b44373..6bc1e737e2d6df22e5114b0e47ac1659309bb029 100644 (file)
--- a/fabfile.py
+++ b/fabfile.py
@@ -71,5 +71,5 @@ def build():
 
 def push():
     """Push production content to remote locations"""
-    local("git push github gh-pages")
-    local("git push ace.luffy.cx gh-pages")
+    local("git push origin gh-pages")
+    local("git push origin website")