fix indentation of documentation for repository-settings

Change-Id: Ib97991f9e06951d2239b3543db2cd8c74d59702c
Signed-off-by: Doug Hellmann <doug@doughellmann.com>
This commit is contained in:
Doug Hellmann 2018-02-02 15:33:57 -05:00
parent 5166e80222
commit 976d2edac5

View File

@ -386,14 +386,14 @@ The top level of a deliverable file is a mapping with keys:
Mapping of special settings to control the behavior for each repository, Mapping of special settings to control the behavior for each repository,
keyed by the repository name. keyed by the repository name.
``flags`` ``flags``
A list of flags attached to the repository. A list of flags attached to the repository.
``no-artifact-build-job`` ``no-artifact-build-job``
This repository has no job for building an artifact, but should This repository has no job for building an artifact, but should
be tagged anyway. be tagged anyway.
``retired`` ``retired``
This repository is no longer used, but was present in old This repository is no longer used, but was present in old
versions of a deliverable. versions of a deliverable.