Last modified: 2014-05-06 15:20:25 UTC
The mediawiki/vagrant.git repository could use some tests. Maybe boot a vagrant box and run the tests available there to make sure everything works fine? Probably need a recent Vagrant version (bug 60791)
Change 109430 had a related patch set uploaded by Hashar: Run additional, non-voting lint jobs for mediawiki-vagrant https://gerrit.wikimedia.org/r/109430
Change 109428 had a related patch set uploaded by Hashar: Add jobs for mediawiki-vagrant erblint and "rake lint" https://gerrit.wikimedia.org/r/109428
Change 109430 merged by jenkins-bot: Run additional, non-voting lint jobs for mediawiki-vagrant https://gerrit.wikimedia.org/r/109430
Change 109428 merged by jenkins-bot: Adds puppet jobs for mediawiki-vagrant https://gerrit.wikimedia.org/r/109428
Afterall I don't think that is that much of a good idea. The vagrant box might fail for a whole ton of different reasons. + We have an obsolete vagrant package.