gdmb - Git delete merged branches