Tree: 572b1fd9be

Daniel Mizyrycki 5e3386473a testing, issue #773: Add infrastructure docker-ci PR documentation		12 years ago
..
MAINTAINERS	4dc04d7690 Add GitHub usernames to MAINTAINERS	12 years ago
README.md	43f369ea0c Organize the project infrastructure: servers, dns, email etc.	12 years ago
docker-ci.rst	5e3386473a testing, issue #773: Add infrastructure docker-ci PR documentation	12 years ago

Docker project infrastructure

This directory holds all information about the technical infrastructure of the docker project; servers, dns, email, and all the corresponding tools and configuration.

Obviously credentials should not be stored in this repo, but how to obtain and use them should be documented here.

README.md

Docker project infrastructure