summaryrefslogtreecommitdiff
path: root/docs/configuration/service/https.md
diff options
context:
space:
mode:
authorYuriy Andamasov <yuriy@vyos.io>2026-05-14 00:11:02 +0300
committerYuriy Andamasov <yuriy@vyos.io>2026-05-14 00:12:32 +0300
commit75e907d47847781e365a70eb4f5b800af8215127 (patch)
treeff73c17a5df7f28e996bc600ef96c150e9b4c352 /docs/configuration/service/https.md
parentdec78d163e3b6ffb0a08c887bd3e41bac8e6d2a1 (diff)
downloadvyos-documentation-75e907d47847781e365a70eb4f5b800af8215127.tar.gz
vyos-documentation-75e907d47847781e365a70eb4f5b800af8215127.zip
ci: inline doc-linter on circinus to match rolling
The lint workflow on this branch referenced `vyos/.github/.github/workflows/lint-doc.yml@current`, which no longer exists in `vyos/.github` — `lint-doc.yml` was dropped from the central workflow set during the move toward repo-local linters. The reusable-workflow `uses:` line has been silently failing (no `doc-lint` check on recent circinus PRs). Mirror rolling's approach (inlined 2026-05-10): - Add `scripts/doc-linter.py` in this repo. Sourced from PR #2014's HEAD on rolling (the version that includes the `is_docs_path()` docs/-only scope guard so repo-root meta files like AGENTS.md and README.md are out of scope, plus the realpath / narrow-exception / Ruff fixes from that PR's review pass). - Replace `.github/workflows/lint-doc.yml` with an in-repo workflow that runs `python scripts/doc-linter.py "$FILES_MODIFIED"` against the changed-file list from `trilom/file-changes-action`. Same job shape as rolling. - Update the `## Lint` and `## CI` bullets in AGENTS.md to point at the in-repo paths. This restores actual lint coverage on circinus PRs and keeps the toolchain identical across rolling / circinus / sagitta. Behavior on the 11 remaining `.rst` pages is unchanged — the linter's SUPPORTED_EXTS already covers `.md`, `.rst`, and `.txt`. 🤖 Generated by [robots](https://vyos.io)
Diffstat (limited to 'docs/configuration/service/https.md')
0 files changed, 0 insertions, 0 deletions