On Wed, May 4, 2016 at 9:29 PM Andrew Bogott abogott@wikimedia.org wrote:
On 5/4/16 8:59 AM, Andre Klapper wrote:
Hej,
I went ahead & centralized the 5 git/Gerrit/git-review troubleshooting sections that I've found so far on random mediawiki.org pages into one single page (and eliminated duplicates with different solutions):
Knee-jerk ahead:
Although technically correct, some of those instructions encourage users to use 'git pull.' Git doc writers, please join me in my crusade to stop gerrit users from ever, ever using 'git pull.' There's no end to the heartbreak that can result from pulling. Pulling merges, and merging is gerrit's job.
`git pull -r` is my favorite :)
-Chad