testing, issue #773: Add infrastructure docker-ci PR documentation