Branches on main GHC repo should be pruned
There are currently many old branches on the main repo. I am responsible for some of them I know.
It would be good to be able to automatically prune old branches once they are merged so that the irrelevant ones are no longer cluttering up fetches and so on.