diff --git a/update_duplicate_sources b/update_duplicate_sources index 0ef6cfd015f067ff06d406ae469ea891f1b01412_dXBkYXRlX2R1cGxpY2F0ZV9zb3VyY2Vz..144c75bea80447438bac6d65df85166369cdfb1f_dXBkYXRlX2R1cGxpY2F0ZV9zb3VyY2Vz 100755 --- a/update_duplicate_sources +++ b/update_duplicate_sources @@ -58,6 +58,6 @@ if [[ "x$branch_exist" != "x0" ]]; then echo "${YELLOW}INFO ${RESET} - Pushing new branch $branch" - hg push --new-branch + hg push --new-branch --publish else echo "${YELLOW}INFO ${RESET} - Pushing branch $branch" @@ -62,6 +62,6 @@ else echo "${YELLOW}INFO ${RESET} - Pushing branch $branch" - hg push + hg push --publish fi popd rm -rf ${source_name}