From 516a5d9004ae9f72361d32052efff37fbcec2c89 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Sun, 15 Mar 2020 12:22:15 -0500
Subject: [PATCH] factor: Update all repos to point to github.com.

factorcode.org repo can get behind the github one due to #1862 and low RAM on the new factorcode.org server
---
 README.md                  | 2 +-
 build.sh                   | 8 ++++----
 extra/mason/git/git.factor | 4 ++--
 3 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/README.md b/README.md
index f9f7fde4f7..2f8d3f63ad 100644
--- a/README.md
+++ b/README.md
@@ -28,7 +28,7 @@ a boot image stored on factorcode.org.
 
 To check out Factor:
 
-* `git clone git://factorcode.org/git/factor.git`
+* `git clone git://github.com/factor/factor.git`
 * `cd factor`
 
 To build the latest complete Factor system from git, either use the
diff --git a/build.sh b/build.sh
index 456949d755..1ed0a1cf19 100755
--- a/build.sh
+++ b/build.sh
@@ -12,7 +12,7 @@ OS=
 ARCH=
 WORD=
 GIT_PROTOCOL=${GIT_PROTOCOL:="git"}
-GIT_URL=${GIT_URL:=$GIT_PROTOCOL"://factorcode.org/git/factor.git"}
+GIT_URL=${GIT_URL:=$GIT_PROTOCOL"://github.com/factor/factor.git"}
 SCRIPT_ARGS="$*"
 
 REQUIRE_CLANG_VERSION=3.1
@@ -467,7 +467,7 @@ invoke_git() {
 }
 
 git_clone() {
-    $ECHO "Downloading the git repository from factorcode.org..."
+    $ECHO "Downloading the git repository from github.com..."
     invoke_git clone $GIT_URL
 }
 
@@ -494,7 +494,7 @@ update_script_changed() {
 }
 
 git_fetch_factorcode() {
-    $ECHO "Fetching the git repository from factorcode.org..."
+    $ECHO "Fetching the git repository from github.com..."
     branch=$(current_git_branch)
 
     rm -f "$(update_script_name)"
@@ -627,7 +627,7 @@ update_boot_image() {
         $ECHO "Factorcode md5: $factorcode_md5";
         $ECHO "Disk md5: $disk_md5";
         if [[ "$factorcode_md5" == "$disk_md5" ]] ; then
-            $ECHO "Your disk boot image matches the one on factorcode.org."
+            $ECHO "Your disk boot image matches the one on downloads.factorcode.org."
         else
             $DELETE $BOOT_IMAGE > /dev/null 2>&1
             get_boot_image
diff --git a/extra/mason/git/git.factor b/extra/mason/git/git.factor
index 8f4d03a564..681646b749 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://github.com/factor/factor.git"
     } ;
 
 : git-clone ( -- )
@@ -28,7 +28,7 @@ IN: mason.git
     {
         "git"
         "pull"
-        "git://factorcode.org/git/factor.git"
+        "git://github.com/factor/factor.git"
         "master"
     } ;