Fixing Github settings for vagrant file (Robert)