@kidehen @HughWilliams @pkleef
There are 99 branches to choose from in this repo, with last-changes dating back 6+ years.
Might it be time to prune some (or all) of the merged branches, such as all older than some date?
Might similar be applied to unmerged branches (if any)?