When closing a pull request it is easy to forget to delete the branch if it's not needed anymore.
Therefore Gitea should show the "delete branch" box which is currently only shown after a pull request has been merged.