chiark / gitweb /
Merge branch 'python-vagrant-copy-caches' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Tue, 23 May 2017 18:38:57 +0000 (18:38 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Tue, 23 May 2017 18:38:57 +0000 (18:38 +0000)
commit361ce5ca41b70fca46cd20f9071e0e464c321c40
tree0eece1542482136364defb474e70f0a0a5eb9699
parent1710428de15b27c2ad54d3c6785c6f3f9cde3422
parenta01e302cdeebe3837adccbe8fded26ef4bbc7be0
Merge branch 'python-vagrant-copy-caches' into 'master'

complete staging buildserver setup on jenkins.debian.net using nested KVM instances

See merge request !176