Skip to content

docs: update document for the sanity#222

Merged
ktro2828 merged 1 commit into
mainfrom
docs/sanity
Nov 14, 2025
Merged

docs: update document for the sanity#222
ktro2828 merged 1 commit into
mainfrom
docs/sanity

Conversation

@ktro2828

Copy link
Copy Markdown
Collaborator

What

This pull request reorganizes and clarifies the documentation for the t4sanity CLI tool by moving the sections on "Strict Mode" and "Exclude Checks" to a more prominent location earlier in the file. The content of these sections remains unchanged, but their placement now improves readability and helps users find important options more easily.

Documentation improvements:

  • Moved the "Strict Mode" and "Exclude Checks" sections above the "Exit Status Logic" section to make key CLI options more visible and accessible in docs/cli/t4sanity.md. [1] [2]

Signed-off-by: ktro2828 <kotaro.uetake@tier4.jp>
Copilot AI review requested due to automatic review settings November 14, 2025 06:13

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR reorganizes the documentation for the t4sanity CLI tool by relocating two important sections ("Strict Mode" and "Exclude Checks") to appear earlier in the document, improving discoverability of key CLI options without modifying their content.

Key changes:

  • Moved "Strict Mode" and "Exclude Checks" sections from the end of the document to immediately after the basic usage examples
  • Repositioned these sections to appear before "Exit Status Logic" for better information hierarchy

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@github-actions github-actions Bot added the documentation Improvements or additions to documentation label Nov 14, 2025
@ktro2828 ktro2828 merged commit 4829ec5 into main Nov 14, 2025
4 of 5 checks passed
@ktro2828 ktro2828 deleted the docs/sanity branch November 14, 2025 06:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants