drop remote pulling; can be done using git remote update --prune