Marios Andreou 566efcd81e Move CI docs from contributor guide into new CI guide ...

Creates a new CI guide in the index and moves all the ci docs
from under the contributor index where they currently live.  This makes
it easier to find CI related docs and also makes the contributor guide
index significantly shorter and so again easier to navigate for newcomer

Change-Id: I8a2c6df43e23bed7572cc81929d0086335f6eb7a
Related-Bug: #1804642

2019-01-31 09:41:08 +00:00

..

check_gates.rst

Move CI docs from contributor guide into new CI guide

2019-01-31 09:41:08 +00:00

ci_primer.rst

Move CI docs from contributor guide into new CI guide

2019-01-31 09:41:08 +00:00

dlrn-promoter-overview.rst

Move CI docs from contributor guide into new CI guide

2019-01-31 09:41:08 +00:00

index.rst

Move CI docs from contributor guide into new CI guide

2019-01-31 09:41:08 +00:00

promotions.mmd

Move CI docs from contributor guide into new CI guide

2019-01-31 09:41:08 +00:00

reproduce-ci.rst

Move CI docs from contributor guide into new CI guide

2019-01-31 09:41:08 +00:00

stages-overview.rst

Move CI docs from contributor guide into new CI guide

2019-01-31 09:41:08 +00:00