Skip to content

Commit

Permalink
force push instead of deleting the branch
Browse files Browse the repository at this point in the history
  • Loading branch information
lldelisle committed Jun 28, 2024
1 parent e09edc3 commit 4b6924a
Showing 1 changed file with 1 addition and 5 deletions.
6 changes: 1 addition & 5 deletions .github/workflows/autoupdate.yml
Original file line number Diff line number Diff line change
Expand Up @@ -160,10 +160,6 @@ jobs:
continue
fi
fi
if [ "$(git branch -a --list "origin/$REPO")" != "" ]; then
echo "Branch exists but is outdated - deleting"
git push origin --delete "$REPO"
fi
echo "Creating branch and checking out"
git checkout -b "$REPO" "upstream/${{ matrix.upstream_repo_branch }}"
echo "Adding..."
Expand All @@ -173,7 +169,7 @@ jobs:
git commit -m "$TITLE"
echo "Push branch to our fork"
git push --set-upstream origin "$REPO"
git push --force --set-upstream origin "$REPO"
if [ "$PR_EXISTS" -eq 1 ]; then
# just need to update PR title
Expand Down

0 comments on commit 4b6924a

Please sign in to comment.