roschaefer
commented
8 years ago next time: git rebase -i .... && git push origin my_branch -f , also you should use self-explaining PR titles and if you want to auto-close an issue from a PR you can do so by adding "fixes #pull_request_numer" to the PR message
This fix collects all virtual machines that belong to the process and only shuts down those, ignoring other VMs on the machine.