fix vagrant repository name
-rw-r--r-- 7698 .mrconfig
-rw-r--r-- 1082 README
-rw-r--r-- 1276 superproject-post-push.sh