https://bugzilla.wikimedia.org/show_bug.cgi?id=68453
--- Comment #13 from Bryan Davis <bda...@wikimedia.org> --- (In reply to Bryan Davis from comment #11) > (In reply to Bernd Sitzmann from comment #10) > > Looks like `vagrant git-update` still relies on the old extension: > > > > besiair:vagrant besi$ vagrant git-update > > ==> Updating /vagrant/mediawiki ... > > Already up-to-date. This says that `git pull` reported the vagrant working dir as up to date, but we proved with the grep commands that was a lie. I'm not sure what happened. :/ -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l