update.latest: Use 'http' protocol for git commands (git daemon on factorcode.org is flakey lately)

db4
Eduardo Cavazos 2008-11-18 01:38:29 -06:00
parent 79b80baae8
commit bb3fee58e3
1 changed files with 1 additions and 1 deletions

View File

@ -9,7 +9,7 @@ IN: update.latest
: git-pull-master ( -- ) : git-pull-master ( -- )
image parent-directory image parent-directory
[ [
{ "git" "pull" "git://factorcode.org/git/factor.git" "master" } { "git" "pull" "http://factorcode.org/git/factor.git" "master" }
run-command run-command
] ]
with-directory ; with-directory ;