Fixed some bad advice in doc messages.

No vagrant users should really ever be using 'git pull.'  If
a dev has any local changes committed, this will make a real mess.

https://wikitech.wikimedia.org/wiki/Help:Git_rebase

Change-Id: I7f0fd8e952e5c13ac038e96373d21a38b133e189