The hidden directory .vagrant should not be committed to git. Each user should create their own .vagrant directory by running 'vagrant up'. The .gitignore file can be used to cause git to not try and add this folder in the future. However, since it has already been committed and pushed, it will also need a 'git rm' to delete it.