Fixing Github settings for vagrant file (Robert)
Fixing Github settings for vagrant file (Robert)