merchant

commit d0b27e71a71ab44058fb148754363c6fd2286dcf
parent ceca64a112b48fa4ace96f19cba06fc44357e69c
Author: Christian Grothoff <christian@grothoff.org>
Date:   Mon, 11 Sep 2023 22:23:53 +0200

update submodules from remote

Diffstat:
M
bootstrap
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bootstrap b/bootstrap
@@ -8,7 +8,7 @@ if ! git --version >/dev/null; then
 fi
 
 echo "$0: Updating submodules"
-echo | git submodule update --init --force
+echo | git submodule update --init --force --remote
 
 
 # This is more portable than `which' but comes with