git: prune when pulling