cli.git: better names

diff --git a/extra/cli/git/git.factor b/extra/cli/git/git.factor
index f33fb0738098a9dc56ccecffa18c66ebec0b1d99..961e2746112a1956b9205fa70ca3df86e6b3dfb5 100644 (file)
--- a/extra/cli/git/git.factor
+++ b/extra/cli/git/git.factor
@@ -37,7 +37,7 @@ cli-git-num-parallel [ cpus 2 * ] initialize
 : git-diff-name-only ( path from to -- lines )
     '[ _ _ git-diff-name-only* ] with-directory ;
 
-: git-repository? ( directory -- ? )
+: git-directory? ( directory -- ? )
     ".git" append-path current-directory get prepend-path
     ?file-info dup [ directory? ] when ;
 
@@ -47,12 +47,16 @@ cli-git-num-parallel [ cpus 2 * ] initialize
 : git-current-branch ( directory -- name )
     [ git-current-branch* ] with-directory ;
 
-: repository-url>name ( string -- string' )
+: git-directory-name ( string -- string' )
     file-name ".git" ?tail drop ;
 
 : sync-repository ( url -- process )
-    dup repository-url>name git-repository?
-    [ repository-url>name git-pull ] [ git-clone ] if ;
+    dup git-directory-name git-directory?
+    [ git-directory-name git-pull ] [ git-clone ] if ;
+
+: sync-repository-as ( url path -- process )
+    dup git-directory?
+    [ nip git-pull ] [ git-clone-as ] if ;
 
 : sync-repositories ( directory urls -- )
     '[