mirror of
https://github.com/zed-industries/zed.git
synced 2026-06-01 03:14:56 +07:00
Adds a project-scoped agent skill at `.agents/skills/zed-cherry-pick/SKILL.md` that walks an agent through cherry-picking a merged PR into Zed's `preview` or `stable` release branch — including the case where the automated `cherry_pick` GitHub Actions workflow failed due to a merge conflict. Captures the conventions enforced by `script/cherry-pick` (branch naming, PR title/body format) and the gotchas around discovering the current channel→branch mapping, non-interactive git in agent environments, and worktree index locks. Release Notes: - N/A --------- Co-authored-by: Martin Ye <martin@zed.dev> Co-authored-by: Ben Kunkle <ben.kunkle@gmail.com> |
||
|---|---|---|
| .. | ||
| gpui-test | ||
| zed-cherry-pick | ||