Report question

Question: git pull analogous to / opposite of git push -f?