diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/instructions/doc-linter.instructions.md | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/.github/instructions/doc-linter.instructions.md b/.github/instructions/doc-linter.instructions.md index cc56f8fe..358cf9df 100644 --- a/.github/instructions/doc-linter.instructions.md +++ b/.github/instructions/doc-linter.instructions.md @@ -34,12 +34,16 @@ The linter rejects public IP addresses that are not reserved for documentation. **These require `stop/start_vyoslinter` suppression:** +% stop_vyoslinter + | Example | Why suppression is needed | |---------|--------------------------| -| Google Public DNS | Real public IP, not documentation-reserved | +| `8.8.8.8` (Google DNS) | Real public IP, not documentation-reserved | | `64:ff9b::/96` (NAT64) | Well-known prefix, not in doc ranges | | Real provider IPs in examples | Authenticity matters for the example | +% start_vyoslinter + ### Line Length Rules Maximum 80 characters per line. The line-length check is |