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