[MediaWiki-commits] [Gerrit] make-release: update local repositories - change (mediawiki...release)

2013-12-02 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: make-release: update local repositories .. make-release: update local repositories Whenever using --git-root to point to a local repository, we might be u

[MediaWiki-commits] [Gerrit] make-release: update local repositories - change (mediawiki...release)

2013-11-16 Thread Hashar (Code Review)
Hashar has uploaded a new change for review. https://gerrit.wikimedia.org/r/95825 Change subject: make-release: update local repositories .. make-release: update local repositories Whenever using --git-root to point to a loc