group updates to public branch

lj020326 · Aug 8, 2024 · f589575 · f589575
1 parent 937babe
commit f589575
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/ansible b/ansible
diff --git a/sync-public-branch.sh b/sync-public-branch.sh
@@ -15,8 +15,6 @@ function gitcommitpush() {
   git add -A || true && \
   echo "Committing changes:" && \
   git commit -am "group updates to public branch" || true && \
-  echo "Pushing branch '${LOCAL_BRANCH}' to remote origin branch '${LOCAL_BRANCH}':" && \
-  git push -f origin ${LOCAL_BRANCH} || true && \
   echo "Pushing branch '${LOCAL_BRANCH}' to remote '${REMOTE}' branch '${REMOTE_BRANCH}':" && \
   git push -f -u ${REMOTE} ${LOCAL_BRANCH}:${REMOTE_BRANCH} || true
 }