If pull-requests are closed from a different machine, it can be burdensome to delete branches associated with those pull requests. Add some basic automation in `git-webkit clean` to help with this situation.
<rdar://problem/91127828>
Pull request: https://github.com/WebKit/WebKit/pull/237
Landed r292485 (https://commits.webkit.org/249336@main)