Fix push command in sync-and-rebase workflow

Update the push command to use refs/heads for branch reference.
This commit is contained in:
Mihai PLESA
2026-01-30 20:43:35 +00:00
committed by GitHub
parent 37c60d7168
commit bae1d91135
@@ -67,7 +67,7 @@ jobs:
echo "Rebase conflict detected. Please resolve the conflicts and push the changes to your fork. Exiting!"
exit 1
fi
git push -f origin HEAD:"$contribHeadRefName"
git push -f origin HEAD:"refs/heads/$contribHeadRefName"
existing_prs=$(gh pr list -H "$contribHeadRefName" --json number)
if [[ "$existing_prs" = "[]" ]]; then