Revert "build.cmd: github is source of truth now"

This reverts commit d7af258eb7c1e115a228cb92098c1ee1b2328917.

I renamed /git/factor-github.git to /git/factor.git

diff --git a/build.cmd b/build.cmd
index eb8cd39990543302e0627e13f6af87f1d4c2ce36..6d964ec6604f12dc2dbff9265bd739f7a813c94a 100644 (file)
--- a/build.cmd
+++ b/build.cmd
@@ -39,7 +39,7 @@ echo Deleting staging images from temp/...
 del temp\staging.*.image
 
 echo Updating working copy from %GIT_BRANCH%...
 del temp\staging.*.image
 
 echo Updating working copy from %GIT_BRANCH%...

-call git pull https://github.com/factor/factor %GIT_BRANCH%
+call git pull git://factorcode.org/git/factor.git %GIT_BRANCH%

 if errorlevel 1 goto fail
 
 echo Building vm...
 if errorlevel 1 goto fail
 
 echo Building vm...