mirror of
https://github.com/coder/coder.git
synced 2026-09-24 15:04:27 +08:00
This pull request makes a minor update to the documentation check workflow. It clarifies that a comment should not be posted if there are no documentation changes needed and simplifies the comment format instructions.