chiark / gitweb /
buildserver: replace custom code with python-vagrant