Document branch deletion feature in web editor

[yangleyland]

Added documentation for the new branch deletion feature in the web editor. Users can now delete branches after merging PRs, with restrictions preventing deletion of deploy and default branches.

Files changed:

• guides/branches.mdx

---

Created by Mintlify agent

---

Note

Adds a new "Delete a branch" section with web editor and CLI instructions, including restrictions on deleting deploy/default branches.

• Docs — guides/branches.mdx:
  • New section: Delete a branch
    • Web editor: Post-merge UI shows option to click Delete branch; includes note that deploy and default (e.g., main) branches cannot be deleted.
    • Local development: Commands to delete local (git branch -d/-D branch-name) and remote (git push origin --delete branch-name) branches.

^{Written by Cursor Bugbot for commit f9a4c78. This will update automatically on new commits. Configure here.}