The "pull" can get confusing to new users of git because they soon see people talking about "pull requests". They should rename a pull request to a "sync request" or an "update review request" , etc.