From 0994d082084662c80924fc135e0485bd9b2579f2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mathieu=20M=C3=A9a?= Date: Thu, 26 Mar 2026 16:04:30 -0400 Subject: [PATCH] `push_commits.sh` > disable GIT submodule push There is no reason to push commits to submodules now that we only use `master` branch. Nothing is supposed to be changed by "root" repositories in submodules during CI workflows using `push_commit.sh` --- shared/push_commits.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/shared/push_commits.sh b/shared/push_commits.sh index 2060cbc7..a2af5b90 100755 --- a/shared/push_commits.sh +++ b/shared/push_commits.sh @@ -33,10 +33,10 @@ cd ..; setGitUser; -echo "> GIT submodule > push..."; -git submodule foreach git push; # git push fails if there are new changes on remote -checkResult $?; -echo "> GIT submodule > push... DONE"; +# echo "> GIT submodule > push..."; +# git submodule foreach git push; # git push fails if there are new changes on remote +# checkResult $?; +# echo "> GIT submodule > push... DONE"; echo "> GIT > push..."; git push; # git push fails if there are new changes on remote