[Wikitech-l] MediaWiki-Vagrant directory change merged (/srv -> /vagrant/srv)

A patch [0] was merged recently that moves files provisioned by some roles from /srv/* (and /vagrant/*) to /vagrant/srv/*. This puts the files on the host machine and reduces the number of random subdirectories under /vagrant that are created. See T89919 [1] and the patch for more details. Most users shouldn't really notice any impact from this change, but users of the iegreview, scholarships and wikimetrics roles will need to either move their /vagrant/<rolename> checkouts to /vagrant/srv/<rolename> or double check that any work in progress they have in those git clones are pushed up to gerrit and pulled back down to the new working directory. [0]: https://gerrit.wikimedia.org/r/#/c/200624/ [1]: https://phabricator.wikimedia.org/T89919 Bryan -- Bryan Davis Wikimedia Foundation &lt;bd808(a)wikimedia.org&gt; [[m:User:BDavis_(WMF)]] Sr Software Engineer Boise, ID USA irc: bd808 v:415.839.6885 x6855