push vagrantfile