git fetch prunes deleted remote branches