From f621e69335d71e4beb68093663989b351acf0134 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Sat, 4 Jan 2020 08:27:16 -0600
Subject: [PATCH] mason.git: new repo location

---
 extra/mason/git/git.factor | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/extra/mason/git/git.factor b/extra/mason/git/git.factor
index 8f4d03a564..1fb5339733 100644
--- a/extra/mason/git/git.factor
+++ b/extra/mason/git/git.factor
@@ -16,7 +16,7 @@ IN: mason.git
     {
         "git"
         "clone"
-        "git://factorcode.org/git/factor.git"
+        "git://factorcode.org/git/factor-github.git"
     } ;
 
 : git-clone ( -- )
@@ -28,7 +28,7 @@ IN: mason.git
     {
         "git"
         "pull"
-        "git://factorcode.org/git/factor.git"
+        "git://factorcode.org/git/factor-github.git"
         "master"
     } ;