mirror of
https://github.com/coder/coder.git
synced 2026-09-22 05:05:20 +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.