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
1 changed files with 8 additions and 8 deletions

View File

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