tree 733ce1b540e5c5bfba2fc8b6eaf06597c235dea3
parent 46929ea75dedd991b15a389db6198dd0cce1caf1
author Damien Martin-Guillerez <dmarting@google.com> 1495774063 -0700
committer Damien Martin-Guillerez <dmarting@google.com> 1500893713 +0200

Add a user documentation for the CI

This documentation put in one place the information needed for
users that are not administrating the CI.

Change-Id: I502c26ba1ceaf0af706c34f62e448b97b5648ce8