https://bugzilla.wikimedia.org/show_bug.cgi?id=54008
Andre Klapper aklap...@wikimedia.org changed:
What|Removed |Added
Component|MediaWiki-Vagrant |General
https://bugzilla.wikimedia.org/show_bug.cgi?id=54008
Gerrit Notification Bot gerritad...@wikimedia.org changed:
What|Removed |Added
Status|NEW
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
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
https://bugzilla.wikimedia.org/show_bug.cgi?id=54008
Ori Livneh o...@wikimedia.org changed:
What|Removed |Added
Status|PATCH_TO_REVIEW |RESOLVED