Who has a repository without dead already merged branches? Admit it, almost no one. In my team, especially since we decided to move to git flow[1], this ideal situation rarely happens. It is not that uncommon forget to delete a merged branch from remote, it happens to everyone. But