fix(ci): stop force-pushing empty diff on version-bump branch to prevent PR churn (#303)

Co-authored-by: Meliox <na>
This commit is contained in:
MelioxandMeliox authored and GitHub committed 2026-08-17 20:47:42 +02:00
1 parent e59d09a788
commit bc87579d77
1 file changed
+2 -3
+2 -3
View File
@@ -58,7 +58,6 @@ jobs:
if [[ "${{ github.event_name }}" == "push" ]]; then
# Always recreate from main — avoids rebase conflicts after PR merge
git checkout -b chore/version-bump origin/main
git push --force origin chore/version-bump
else
# Label change: check out the existing branch
git fetch origin chore/version-bump
@@ -133,8 +132,8 @@ jobs:
echo "$MAIN_CHANGELOG"
} > debian/changelog
git add debian/changelog
git diff --cached --quiet || git commit -m "chore: update changelog to v${NEW_VERSION}"
git push --force-with-lease origin chore/version-bump
git commit -m "chore: update changelog to v${NEW_VERSION}"
git push --force origin chore/version-bump
- name: Build PR body
env: