Open andreasabel opened 5 months ago
This repo has retained some old branches (as old as 12 years!) for PRs that are already merged. Should we delete them?
This repo has retained some old branches (as old as 12 years!) for PRs that are already merged. Should we delete them?