Establish stubs for documenting GitLab configuration.
authorM. Eric Irrgang <ericirrgang@gmail.com>
Wed, 12 Feb 2020 15:56:17 +0000 (18:56 +0300)
committerEric Irrgang <ericirrgang@gmail.com>
Mon, 17 Feb 2020 10:26:56 +0000 (11:26 +0100)
commitf005f5d5b3057e4e6febb4cd24cc0d83d5ad5639
tree60e4f47db2d02a99915a569c0f89290eadabe31d
parent9af4d090cb6862b422489e0b19584544421cee0e
Establish stubs for documenting GitLab configuration.

Insert an `infrastructure` document under the `tools` node to own the
`jenkins` doc and a new `gitlab` doc.

Refs #3275

Change-Id: I4aa03949b4216290933716beb88b439a8a0940c4
docs/CMakeLists.txt
docs/dev-manual/gitlab.rst [new file with mode: 0644]
docs/dev-manual/infrastructure.rst [new file with mode: 0644]
docs/dev-manual/jenkins.rst
docs/dev-manual/releng/index.rst
docs/dev-manual/tools.rst