Branch: refs/heads/misc-delete-branch-on-merge Home: https://github.com/xwiki/xwiki-dev-llm Commit: f989b3fe7e12eaa0ab70c08adf254037276da007 https://github.com/xwiki/xwiki-dev-llm/commit/f989b3fe7e12eaa0ab70c08adf2540... 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`, keeping a shared `feature-deploy-xxx` branch until every repo's PR is merged * 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