chore: sync shared files from central repo

Author: Dr. Arnold Sykosch

.editorconfig

@@ -0,0 +1,12 @@
+root = true
+
+[*]
+charset = utf-8
+end_of_line = lf
+insert_final_newline = true
+trim_trailing_whitespace = true
+indent_style = space
+indent_size = 2
+
+[*.rst]
+indent_size = 3

.github/workflows/check.yml

@@ -0,0 +1,31 @@
+name: Check
+
+on:
+  workflow_dispatch:
+  pull_request:
+  push:
+    branches:
+      - 'rel-**'
+
+jobs:
+  check:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v6
+      - uses: actions/cache/restore@v5
+        id: cache-venv-restore
+        with:
+          path: .venv
+          key: ${{ runner.os }}-venv-${{ steps.setup-python.outputs.python-version }}-${{ hashFiles('requirements.txt') }}
+
+      - if: steps.cache-venv-restore.outputs.cache-hit != 'true'
+        run: make venv
+      - if: steps.cache-venv-restore.outputs.cache-hit != 'true'
+        uses: actions/cache/save@v5
+        with:
+          path: .venv
+          key: ${{ steps.cache-venv-restore.outputs.cache-primary-key }}
+
+
+      - run: make check

.gitignore

@@ -26,4 +26,6 @@ Thumbs.db
 *.swn
 *.swp
 *.swo
-*~
+*~
+
+.github/workflows/pr-check.yml

Makefile

@@ -31,8 +31,8 @@ $(VENV_PYTHON): ## (internal) Create the virtual environment if it does not exis
 	@test -x $@ || $(PYTHON) -m venv $(VENV)
 
 $(VENV_STAMP): $(VENV_PYTHON) requirements.txt ## (internal) Install or refresh the documentation dependencies.
-	$(VENV_PIP) install --quiet --upgrade pip
-	$(VENV_PIP) install --quiet -r requirements.txt
+	$(VENV_PIP) install --quiet --no-cache-dir --upgrade pip
+	$(VENV_PIP) install --quiet --no-cache-dir -r requirements.txt
 	@touch $@
 
 venv: $(VENV_STAMP) ## Validate the virtual environment and install dependencies if needed.

conf.py

@@ -9,6 +9,9 @@
     'sphinx_rtd_theme',
 ]
 
+# we do have duplicate section headings by design
+suppress_warnings = ['autosectionlabel.*']
+
 html_theme = 'sphinx_rtd_theme'
 master_doc = 'content/index'
 language = 'en'