diff options
| author | Felix Singer <felixsinger@posteo.net> | 2022-02-28 22:51:46 +0100 |
|---|---|---|
| committer | Felix Singer <felixsinger@posteo.net> | 2022-04-24 18:40:26 +0000 |
| commit | de77bd15d3b30fe0e37aeceadd5245e534954eca (patch) | |
| tree | 456e2ca7b7d16fba75640741ea9fbe9b20f653ee /Documentation/infrastructure/index.md | |
| parent | e78c9a3fdb6c03d0411c6ed37765915883c134f9 (diff) | |
| download | coreboot-de77bd15d3b30fe0e37aeceadd5245e534954eca.tar.gz coreboot-de77bd15d3b30fe0e37aeceadd5245e534954eca.tar.bz2 coreboot-de77bd15d3b30fe0e37aeceadd5245e534954eca.zip | |
Documentation: Move services page to infrastructure section
The services page documents various services and tools which are
provided by the project. It's more related to the infrastructure and
less related to the community section.
Thus, move it to the infrastructure section.
Change-Id: I0ca2aba8ae817cf874367fa17e567065aec99a93
Signed-off-by: Felix Singer <felixsinger@posteo.net>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/62442
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin L Roth <martinroth@google.com>
Reviewed-by: Paul Menzel <paulepanter@mailbox.org>
Diffstat (limited to 'Documentation/infrastructure/index.md')
| -rw-r--r-- | Documentation/infrastructure/index.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Documentation/infrastructure/index.md b/Documentation/infrastructure/index.md index 755709ece488..744809f2fd3c 100644 --- a/Documentation/infrastructure/index.md +++ b/Documentation/infrastructure/index.md @@ -2,6 +2,11 @@ This section contains documentation about our infrastructure +## Services + +* [Project services](services.md) + + ## Jenkins builders and builds * [Setting up Jenkins build machines](builders.md) * [Coverity Scan integration](coverity.md) |