https://bugzilla.wikimedia.org/show_bug.cgi?id=70114
--- Comment #1 from Bryan Davis <[email protected]> --- Something is wonky with your mediawiki checkout and puppet won't be able to fix it I don't think. Try doing this: $ cd vagrant/mediawiki $ git pull $ cd skins $ rm -rf Vector # might not be a dir here to delete now but worth trying $ vagrant provision If that still doesn't bring vagrant/mediawiki/skins/Vector back for you, you can clone it manually: $ cd vagrant/mediawiki/skins $ git clone https://gerrit.wikimedia.org/r/p/mediawiki/skins/Vector.git Vector -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
