wikimedia/wmf-vagrant — pull request #9 by atdt (2012-11-14 08:03:29+00:00)
Title: Fetch MediaWiki submodule from GitHub over SSH

MediaWiki's long history of commits takes a while to transfer over HTTP/S. SSH
is much more efficient, and GitHub has both the bandwidth and read-only access
for anons.