Skip to content

Commit

Permalink
fix mirror script
Browse files Browse the repository at this point in the history
  • Loading branch information
ChristophNiehoff committed May 8, 2023
1 parent 40fc99c commit a14987c
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions utils/sync_mirror_repo.sh
Original file line number Diff line number Diff line change
Expand Up @@ -37,6 +37,8 @@ commit_and_push_changes() {
sync_mirror_repo() {
git checkout "${MAIN_BRANCH}"

git fetch --all
git pull --rebase origin "${MAIN_BRANCH}"
git merge --strategy-option=theirs "${MIRROR_REMOTE}/${MAIN_BRANCH}"
for src_file in "${FILES_NOT_IN_SYNC[@]}"
do
Expand Down

0 comments on commit a14987c

Please sign in to comment.