Open
Description
The repository has a lot of branches that have not been deleted yet, be it because they are intermediate branches part of a larger PR (thus not automatically deleted), or simply just stale. We should try to eliminate these as much as possible.