push_commits.sh > disable GIT submodule push
#641
Merged
push_commits.sh > disable GIT submodule push
#641