Last modified: 2013-09-11 22:46:09 UTC
There is no dependency relationship between git-cloning mediawiki/core and actually upgrading the git client, so the former can happen before the latter. That's unfortunate, since the primary reason for taking the trouble to update Git in the first place was to facilitate a quicker clone operation for core.
Fixed using a run-stage in Gerrit change Ia0518b6a1.
[mass-moving from Tools>MediaWiki-Vagrant to separate product. See bug 54041. Filter bugmail on this comment.]