Translations:MediaWiki-Vagrant/71/en

If you're using MediaWiki-Vagrant for development you'll probably want to push some commits to MediaWiki core or an extension's repository using. By default, all remotes point to the  URLs. To avoid overriding this on a case by case basis, run: