WIP: Remove all vagrant stuff
Remove vagrant config files and some related documentation.
AFAICT all the same jobs and tests are run and skipped, so this has no impact on the pipeline.
Edited by Axel von Bertoldi
Remove vagrant config files and some related documentation.
AFAICT all the same jobs and tests are run and skipped, so this has no impact on the pipeline.