From de77bd15d3b30fe0e37aeceadd5245e534954eca Mon Sep 17 00:00:00 2001 From: Felix Singer Date: Mon, 28 Feb 2022 22:51:46 +0100 Subject: [PATCH] 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 Reviewed-on: https://review.coreboot.org/c/coreboot/+/62442 Tested-by: build bot (Jenkins) Reviewed-by: Martin L Roth Reviewed-by: Paul Menzel --- Documentation/community/index.md | 1 - Documentation/infrastructure/index.md | 5 +++++ Documentation/{community => infrastructure}/services.md | 0 3 files changed, 5 insertions(+), 1 deletion(-) rename Documentation/{community => infrastructure}/services.md (100%) 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 similarity index 100% rename from Documentation/community/services.md rename to Documentation/infrastructure/services.md