As covered here:
http://stackoverflow.com/questions/18308535/automatic-prune-with-git-fetch-or-pull
You can now auto prune as of git v1.8.5 with:
git config remote.origin.prune true
As covered here:
http://stackoverflow.com/questions/18308535/automatic-prune-with-git-fetch-or-pull
You can now auto prune as of git v1.8.5 with: