corrosion
corrosion copied to clipboard
Delete stale branches?
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?