Handbook
Glossary
git-clone-or-pull ( -- id )
Vocabulary
mason
.
git
Inputs
None
Outputs
id
an
object
Definition
USING:
continuations
io.directories
io.files
kernel
mason.common
mason.git.private
sequences
;
IN:
mason.git
:
git-clone-or-pull
( -- id )
"factor"
file-exists?
[
check-repository
[
"factor"
[
[
git-pull-cmd
short-running-process
]
[
git-pull-failed
]
recover
]
with-directory
]
[
git-repo-dirty
]
if-empty
]
[
git-clone
]
if
"factor"
[
git-id
]
with-directory
;