assue settingss.rst is unchanged

benoitc · benoitc · commit 9544e4859011 · 2025-10-05T19:32:34.000+02:00
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -42,6 +42,7 @@ jobs:
         run: |
           # this will update docs/source/settings.rst - but will not create html output
           (cd docs && sphinx-build -b "dummy" -d _build/doctrees source "_build/dummy")
+          git update-index --assume-unchanged settings.rst
           if unclean=$(git status --untracked-files=no --porcelain) && [ -z "$unclean" ]; then
             echo "no uncommitted changes in working tree (as it should be)"
           else
