Git: UI for deleting branches #42641
Description
Summary
Currently there's no way to delete git branches from within Zed; we should add some UI for this.
{{ message }}
Currently there's no way to delete git branches from within Zed; we should add some UI for this.