There are very many stale branches in this repo which clutters up git checkout shell completions, would it be possible to delete some of them?