diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2022-10-13 09:51:39 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2022-10-13 09:51:44 -0700 |
commit | 88b121872e14fb27e1574e333633a9ec06adb4f2 (patch) | |
tree | 37ac37e89dc4a42dc7978704707c54a9c8356a07 | |
parent | 1569188becdd1042853e49abf319f8aac1364808 (diff) | |
download | dotfiles-88b121872e14fb27e1574e333633a9ec06adb4f2.tar.gz |
don't check out git-remote-gcrypt on all workstations
-rw-r--r-- | .mrconfig.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.mrconfig.in b/.mrconfig.in index 89dcce18..c1854fd6 100644 --- a/.mrconfig.in +++ b/.mrconfig.in @@ -442,7 +442,7 @@ checkout = git clone 'demeter:git-remote-gcrypt' 'git-remote-gcrypt' post_checkout = cd git-remote-gcrypt install-git-hooks git-remote-gcrypt -skip = ! workstation +skip = lazy [src/pandoc-citeproc-preamble] checkout = git clone 'demeter:pandoc-citeproc-preamble' 'pandoc-citeproc-preamble' |