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 | |
parent | e78c9a3fdb6c03d0411c6ed37765915883c134f9 (diff) |
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')
-rw-r--r-- | Documentation/community/index.md | 1 | ||||
-rw-r--r-- | Documentation/infrastructure/index.md | 5 | ||||
-rw-r--r-- | Documentation/infrastructure/services.md (renamed from Documentation/community/services.md) | 0 |
3 files changed, 5 insertions, 1 deletions
diff --git a/Documentation/community/index.md b/Documentation/community/index.md index 30420ae903..1363eb0277 100644 --- a/Documentation/community/index.md +++ b/Documentation/community/index.md @@ -3,5 +3,4 @@ * [Code of Conduct](code_of_conduct.md) * [Language style](language_style.md) * [Community forums](forums.md) -* [Project services](services.md) * [coreboot at conferences](conferences.md) diff --git a/Documentation/infrastructure/index.md b/Documentation/infrastructure/index.md index 755709ece4..744809f2fd 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) diff --git a/Documentation/community/services.md b/Documentation/infrastructure/services.md index a7f13eefb5..a7f13eefb5 100644 --- a/Documentation/community/services.md +++ b/Documentation/infrastructure/services.md |