-
Georges Racinet authored
In a nutshell, now the branch moves, and our pruning is based on the branchmap, meaning that pruning just one out of two wild head immediately removes both Git branches in the `wild` namespace.
c2e8e233c457
In a nutshell, now the branch moves, and our pruning is based on the branchmap, meaning that pruning just one out of two wild head immediately removes both Git branches in the `wild` namespace.