emma+rob changed: shift 3 + depth 1

mrc-ide · Oct 24, 2023 · 768ed0a · 768ed0a
1 parent 2174e5f
commit 768ed0a
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/docker/pull-site-and-start.sh b/docker/pull-site-and-start.sh
@@ -2,10 +2,8 @@
 set -ex
 HERE=$(dirname "$0")
 
-git clone --branch $1 $2 $3
+git clone --depth 1 --branch $1 $2 $3
 
-shift
-shift
-shift
+shift 3
 
 "$HERE"/wodin $*