.gitlab-ci.yml

+default:
+  # Guide the choice of an appropriate runner for all these jobs.
+  # https://docs.gitlab.com/ee/ci/runners/#runner-runs-only-tagged-jobs
+  tags:
+    - "nixos"
+    - "shell"
+
 docs:
   stage: "build"
   script:

README.rst

@@ -13,7 +13,6 @@ Documentation
 
 There is documentation for:
 
-* Users: ``docs/user/README.rst``
 * Operators/Admins: ``docs/ops/README.rst``
 * Developers: ``docs/dev/README.rst``
 

docs/source/index.rst

@@ -11,7 +11,6 @@ Howdy!  We separated the documentation into parts addressing different audiences
 .. toctree::
    :maxdepth: 2
 
-   Users <user/README>
    Administrators <ops/README>
    Developers <dev/README>
 

docs/source/user/README.rst

-User documentation
-==================
-
-This will contain the user documentation for this project.
-