Merge Requests: ability to delete unmerged branch after MR is closed
Once an MR is closed without merging, it should be possible to delete the branch via MR UI.