After finished a pull request, you have to delete both the local feature branch and the remote branch. I proposal one command
tea pulls clean #<pull_number> to do the two things.
Or we could just type
tea pulls clean when we on a feature branch. that will do the same actions as above.
Deleting a branch is permanent. It CANNOT be undone. Continue?