diff options
| author | Yuriy Andamasov <yuriy@vyos.io> | 2026-05-13 05:36:00 -0700 |
|---|---|---|
| committer | Yuriy Andamasov <yuriy@vyos.io> | 2026-05-13 05:36:00 -0700 |
| commit | 65a8e9fc9394ff4c9e9fca4000b8ef2681e8d95c (patch) | |
| tree | 53d8606908f03c5733447a58ea62f9368dd3536b /docs/_include/interface-vrf.txt | |
| parent | 93a5bdc70468ff92196e00783e6871de1891282f (diff) | |
| download | vyos-documentation-65a8e9fc9394ff4c9e9fca4000b8ef2681e8d95c.tar.gz vyos-documentation-65a8e9fc9394ff4c9e9fca4000b8ef2681e8d95c.zip | |
ci(doc-linter): scope to docs/ only — skip repo-root meta files
The linter targets published documentation sources; the auto-discover
fallback already walks `docs/` only. CI was passing root-level meta
files (README.md, AGENTS.md, .github/copilot-instructions.md — the
last is a symlink to AGENTS.md) which forced docs-publication
conventions (80-char wrap, RFC IP rules, suppression markers) onto
project meta that has no business obeying them.
Add an `is_docs_path()` guard in `main()` so the explicit-file-list
path matches the auto-discover behavior — only files under `docs/`
are linted. AGENTS.md and the Copilot-instruction symlink are now
out of scope.
Verified:
- `python3 scripts/doc-linter.py "['AGENTS.md', 'README.md', '.github/copilot-instructions.md']"` → exit 0 (all skipped).
- `python3 scripts/doc-linter.py "['docs/_test_lint.md']"` with a real public IP → still errors as expected.
🤖 Generated by [robots](https://vyos.io)
Diffstat (limited to 'docs/_include/interface-vrf.txt')
0 files changed, 0 insertions, 0 deletions