Automatically prune on git fetch
Remove pretty_git_log, long since replaced by tig