Git operations on /vagrant/mediawiki are a bit slow, and the cloning (when running 'vagrant up' takes several minutes. Also, the size of the repo is 0.5GB.
This is probably because the full history is cloned; I doubt many developers need that. By default, mediawiki-vagrant should do a shallow clone (possibly with a configuration parameter to change it).
Version: unspecified
Severity: normal