Reproduces problem with git rev-list not pruning a commit