When trying to execute vagrant orchestrate push in the context of a Jenkins job using the servers.json environment configuration file, the deployment fails with
There are errors in the configuration of this machine. Please fix
the following errors and try again:
vm:
* A box must be specified.
ManagedServers Provider:
* The IP or hostname of the server must be configured via "server"
Upon further investigation, the root cause appears to be that the GIT_BRANCH environment variable set by the git plugin contains a value of the form origin/dev. This can be fixed by splitting on "/" and taking the last element.
When trying to execute
vagrant orchestrate pushin the context of a Jenkins job using the servers.json environment configuration file, the deployment fails withUpon further investigation, the root cause appears to be that the GIT_BRANCH environment variable set by the git plugin contains a value of the form
origin/dev. This can be fixed by splitting on "/" and taking the last element.@pkehrer