From 88b121872e14fb27e1574e333633a9ec06adb4f2 Mon Sep 17 00:00:00 2001 From: Sean Whitton Date: Thu, 13 Oct 2022 09:51:39 -0700 Subject: don't check out git-remote-gcrypt on all workstations --- .mrconfig.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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' -- cgit v1.2.3