]> git.apps.os.sepia.ceph.com Git - ceph-build.git/commitdiff
Merge pull request #1214 from ceph/vagrant-prune
authorAndrew Schoen <andrew.schoen@gmail.com>
Mon, 3 Dec 2018 20:28:06 +0000 (14:28 -0600)
committerGitHub <noreply@github.com>
Mon, 3 Dec 2018 20:28:06 +0000 (14:28 -0600)
vagrant: prune stale machines before a run


Trivial merge