Branch: refs/heads/misc-delete-branch-on-merge Home: https://github.com/xwiki/xwiki-dev-llm Commit: 8983fbf2b09cb59c7f19da316f6a1c9cd1886e03 https://github.com/xwiki/xwiki-dev-llm/commit/8983fbf2b09cb59c7f19da316f6a1c... Author: Vincent Massol <[email protected]> Date: 2026-10-13 (Tue, 13 Oct 2026) Changed paths: M xwiki/skills/xwiki-daily-close/SKILL.md M xwiki/skills/xwiki-pull-request/SKILL.md Log Message: ----------- [Misc] Delete the PR head branch when merging * xwiki-pull-request: merge with `gh pr merge --squash --delete-branch`, and list the branches that must be kept (reserved, `feature-deploy-xxx`, fork branches) * xwiki-daily-close: use `--delete-branch` in its merge step Co-Authored-By: Claude Opus 5.5 (1M context) <[email protected]> To unsubscribe from these emails, change your notification settings at https://github.com/xwiki/xwiki-dev-llm/settings/notifications