docs: structure: move CI related pages

Signed-off-by: Oliver Smith <ollieparanoid@postmarketos.org>
Part-of: <https://gitlab.postmarketos.org/postmarketOS/pmaports/-/merge_requests/8812>

docs/ci.md

@@ -0,0 +1,11 @@
+# Continuous Integration
+
+These pages are related to continuous integration (CI) in pmaports.
+
+```{eval-rst}
+.. toctree::
+   :hidden:
+
+   ci/ci-tags
+   ci/hardware-ci
+```

docs/conf.py

@@ -13,6 +13,7 @@ extensions = [
     "sphinx.ext.autodoc",
     "sphinx.ext.autosummary",
     "sphinx.ext.doctest",
+    "sphinx_reredirects",
     "sphinxcontrib.autoprogram",
     "sphinxcontrib.jquery",
 ]
@@ -26,6 +27,11 @@ html_theme_options = {
 # Set the explicit title of the HTML output
 html_title = "postmarketOS Packaging"
 
+# Redirects for moved pages
+redirects = {
+    "ci-tags": "ci/ci-tags.html",
+    "hardware-ci": "ci/hardware-ci.html",
+}
 
 def run_dint_doc(app):
     docs_dir = Path(__file__).parent

docs/index.md

@@ -17,11 +17,10 @@ in pmaports and the processes around device categorization.
    approval-rules
    device-categorization
    deviceinfo-reference
-   ci-tags
+   ci
    firmware
    generic-device-packages
    generic-kernels
-   hardware-ci
    kconfig-fragments
    kconfigcheck
    kernel-cmdline

docs/kconfigcheck.md

@@ -79,7 +79,7 @@ package maintainers, who must make sure their kernel complies with the changed
 requirements in the next update to their kernel packages. When making unrelated
 changes to a kernel package that does not meet the current requirements, one
 can use the `[ci:skip-kconfigcheck]` CI tag to bypass the checks if
-[the situation allows for it](./ci-tags).
+[the situation allows for it](ci/ci-tags).
 
 Merge requests that change the `kconfigcheck.toml` require approval from
 members of the kconfigcheck team in GitLab. The team can be pinged on merge