FIX-WIP: fixing issue with commit and push by bot

.github/workflows/evaluate_tree_packing.yml

@@ -63,7 +63,7 @@ jobs:
           git config --local user.email "github-actions[bot]@users.noreply.github.com"
           git config --local user.name "github-actions[bot]"
           git add README.md
-          git commit -m "Update badges in README"
+          git commit -m "Update badges in README" || echo "No changes to commit"
           if ($env:GITHUB_HEAD_REF) {
           # For pull requests, use the source branch (GITHUB_HEAD_REF)
           $branch_name = $env:GITHUB_HEAD_REF
@@ -72,5 +72,5 @@ jobs:
           $branch_name = $env:GITHUB_REF -replace 'refs/heads/', ''
           }
           git fetch origin
-          git pull origin $branch_name --rebase
+          git rebase origin/$branch_name || git rebase --abort
           git push origin HEAD:$branch_name