[xwiki/xwiki-dev-llm] e2694c: [Misc] Delete the PR head branch when merging (#266)
Branch: refs/heads/master Home: https://github.com/xwiki/xwiki-dev-llm Commit: e2694c40331ffb3137630a3d91e4e263c9d88385 https://github.com/xwiki/xwiki-dev-llm/commit/e2694c40331ffb3137630a3d91e4e2... 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 (#266) * 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
participants (1)
-
XWiki Notifications