Git fetch -p as shortcut for git remote prune origin