Merge commit '5caca78c0569556c162d54c658ecf24c7e9f04cb' into single-s…

…witch * commit '5caca78c0569556c162d54c658ecf24c7e9f04cb': Squashed 'external/docker-keeper/' changes from 765dd3e..194dec3
coq-community · Jul 3, 2020 · 420cec0 · 420cec0
2 parents 4250c6c + 5caca78
commit 420cec0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/external/docker-keeper/VERSION b/external/docker-keeper/VERSION
@@ -1 +1 @@
-0.8.7
+0.8.8
diff --git a/external/docker-keeper/gitlab-ci-template.yml b/external/docker-keeper/gitlab-ci-template.yml
@@ -141,7 +141,7 @@ check-updates:
     cat <<EOF
     You need to update docker-keeper : $version -> $upstream, by doing:
       cd \$(git rev-parse --show-toplevel)
-      subtree pull --squash -P $KEEPER_SUBTREE $upstream_repo master
+      git subtree pull --squash -P $KEEPER_SUBTREE $upstream_repo master
     EOF
         false
       else