diff options
Diffstat (limited to 'cje-production/mbscripts')
-rwxr-xr-x | cje-production/mbscripts/mb110_tagBuildInputs.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cje-production/mbscripts/mb110_tagBuildInputs.sh b/cje-production/mbscripts/mb110_tagBuildInputs.sh index aac1f377b..750b1ea21 100755 --- a/cje-production/mbscripts/mb110_tagBuildInputs.sh +++ b/cje-production/mbscripts/mb110_tagBuildInputs.sh @@ -34,6 +34,7 @@ pushd $CJE_ROOT/$AGG_DIR # git tagging git commit -m "Build input for build $BUILD_ID" +git push origin HEAD git submodule foreach "if grep \"^\${name}:\" ../../../streams/repositories_$PATCH_OR_BRANCH_LABEL.txt > /dev/null; then git tag $BUILD_ID; git push --verbose origin $BUILD_ID; else echo Skipping \$name; fi || :" git tag $BUILD_ID |