[Bug 54008] Clone mediawiki failed because clone Extension::Vector before

2013-09-11 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=54008 Andre Klapper aklap...@wikimedia.org changed: What|Removed |Added Component|MediaWiki-Vagrant |General

[Bug 54008] Clone mediawiki failed because clone Extension::Vector before

2013-09-10 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=54008 Gerrit Notification Bot gerritad...@wikimedia.org changed: What|Removed |Added Status|NEW

[Bug 54008] Clone mediawiki failed because clone Extension::Vector before

2013-09-10 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=54008 --- Comment #1 from Gerrit Notification Bot gerritad...@wikimedia.org --- Change 83775 had a related patch set uploaded by Ori.livneh: Ensure MediaWiki has been cloned before cloning extensions https://gerrit.wikimedia.org/r/83775 -- You are

[Bug 54008] Clone mediawiki failed because clone Extension::Vector before

2013-09-10 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=54008 --- Comment #2 from Gerrit Notification Bot gerritad...@wikimedia.org --- Change 83775 merged by jenkins-bot: Ensure MediaWiki has been cloned before cloning extensions https://gerrit.wikimedia.org/r/83775 -- You are receiving this mail

[Bug 54008] Clone mediawiki failed because clone Extension::Vector before

2013-09-10 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=54008 Ori Livneh o...@wikimedia.org changed: What|Removed |Added Status|PATCH_TO_REVIEW |RESOLVED