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>
This commit is contained in:
parent
e78c9a3fdb
commit
de77bd15d3
|
@ -3,5 +3,4 @@
|
||||||
* [Code of Conduct](code_of_conduct.md)
|
* [Code of Conduct](code_of_conduct.md)
|
||||||
* [Language style](language_style.md)
|
* [Language style](language_style.md)
|
||||||
* [Community forums](forums.md)
|
* [Community forums](forums.md)
|
||||||
* [Project services](services.md)
|
|
||||||
* [coreboot at conferences](conferences.md)
|
* [coreboot at conferences](conferences.md)
|
||||||
|
|
|
@ -2,6 +2,11 @@
|
||||||
|
|
||||||
This section contains documentation about our infrastructure
|
This section contains documentation about our infrastructure
|
||||||
|
|
||||||
|
## Services
|
||||||
|
|
||||||
|
* [Project services](services.md)
|
||||||
|
|
||||||
|
|
||||||
## Jenkins builders and builds
|
## Jenkins builders and builds
|
||||||
* [Setting up Jenkins build machines](builders.md)
|
* [Setting up Jenkins build machines](builders.md)
|
||||||
* [Coverity Scan integration](coverity.md)
|
* [Coverity Scan integration](coverity.md)
|
||||||
|
|
Loading…
Reference in New Issue