Just as "vagrant up" is a single command to create a development environment for any application, vagrant push is a single command to deploy any application.

https://www.vagrantup.com/blog/vagrant-push-to-deploy.html