From 048bdca05049fbd6bde8db633422c9667ce84741 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Mon, 17 Aug 2015 13:23:11 -0500
Subject: [PATCH] factor.cmd: git pull from http doesn't update my local master
 to remote's master. using git:// instead.

---
 build-support/factor.cmd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-support/factor.cmd b/build-support/factor.cmd
index d53c22c74c..b14f4dbe1e 100644
--- a/build-support/factor.cmd
+++ b/build-support/factor.cmd
@@ -46,7 +46,7 @@ echo Deleting staging images from temp/...
 del temp\staging.*.image
 
 echo Updating working copy from %_git_branch%...
-call git pull http://factorcode.org/git/factor.git %_git_branch%
+call git pull git://factorcode.org/git/factor.git %_git_branch%
 if errorlevel 1 goto fail
 
 echo Building vm...