Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Docker ADR #26085
Note: I removed the vagrant because they run with python35 and look like there is no maintainer around. I think also we should have such stuff, not in the main repository.