From 01b1ba0f88836a6543b8b17a8cb83ae0f0cc4c23 Mon Sep 17 00:00:00 2001
From: Eduardo Cavazos <dharmatech@finkelstein.stackeffects.info>
Date: Wed, 6 Feb 2008 20:05:52 -0600
Subject: [PATCH] Temporarily use onigirihouse as the primary

---
 extra/builder/builder.factor | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/extra/builder/builder.factor b/extra/builder/builder.factor
index 2acdbc3294..5bfd5e01cf 100755
--- a/extra/builder/builder.factor
+++ b/extra/builder/builder.factor
@@ -69,7 +69,8 @@ VAR: stamp
     "git"
     "pull"
     "--no-summary"
-    "git://factorcode.org/git/factor.git"
+    ! "git://factorcode.org/git/factor.git"
+    "http://dharmatech.onigirihouse.com/factor.git"
     "master"
   }
   run-process process-status