: git-id ( -- id )
{ "git" "show" } utf8 [ read-lines ] with-process-reader
- first words second ;
+ first split-words second ;
<PRIVATE
{
"git"
"clone"
- "git://github.com/factor/factor.git"
+ "https://github.com/factor/factor.git"
} ;
: git-clone ( -- )
{
"git"
"pull"
- "git://github.com/factor/factor.git"
+ "https://github.com/factor/factor.git"
"master"
} ;
: git-pull-failed ( error -- )
dup output-process-error? [
- dup output>> "not uptodate. Cannot merge." swap subseq?
+ dup output>> "not uptodate. Cannot merge." subseq-of?
[ git-repo-corrupted ]
[ rethrow ]
if