Branch Merged

Information about a branch merged into main.

A successful merge auto-deletes the branch and fires branch_merged only — it does not also fire branch_deleted.