Spring cleaning of git branches
It’s time to clean out some old branches from the team’s git repository. In memory of them, I record useful tricks here. First, Sharon’s post talks about finding branches that are ripe for deletion, by detecting branches already merged. This post covers those, plus how to find out more about the others. This post is …