git: rename a word, it was confusing

diff --git a/extra/cli/git/git.factor b/extra/cli/git/git.factor
index 91456adf13c26b829b948d7459d13bb5abfbffa9..f33fb0738098a9dc56ccecffa18c66ebec0b1d99 100644 (file)
--- a/extra/cli/git/git.factor
+++ b/extra/cli/git/git.factor
@@ -50,14 +50,14 @@ cli-git-num-parallel [ cpus 2 * ] initialize
 : repository-url>name ( string -- string' )
     file-name ".git" ?tail drop ;
 
-: update-repository ( url -- process )
+: sync-repository ( url -- process )
     dup repository-url>name git-repository?
     [ repository-url>name git-pull ] [ git-clone ] if ;
 
 : sync-repositories ( directory urls -- )
     '[
         _ cli-git-num-parallel get <semaphore> '[
-            _ [ update-repository ] with-semaphore
+            _ [ sync-repository ] with-semaphore
         ] parallel-each
     ] with-ensure-directory ;
 

diff --git a/extra/github/github.factor b/extra/github/github.factor
index 8ff0a0df35e39f5757a4025c26b01b30dd6b07f8..02fca7cd6d6d62c89acf0fc99565c5fd3c4cd3aa 100644 (file)
--- a/extra/github/github.factor
+++ b/extra/github/github.factor
@@ -7,7 +7,7 @@ IN: github
 SYMBOL: github-username
 SYMBOL: github-token
 
-! type is orgs, users
+! type is one of { "orgs" "users" }
 :: get-repositories-with-credentials ( type name username token -- seq )
     0 [ dup ] [
         1 + dup