Skip to content

docs-check: also accept horus-docs link from PR comments - #188

Merged
chdominguez merged 1 commit into
mainfrom
docs-check-comments
Sep 2, 2026
Merged

docs-check: also accept horus-docs link from PR comments#188
chdominguez merged 1 commit into
mainfrom
docs-check-comments

Conversation

@chdominguez

Copy link
Copy Markdown
Member

Summary

  • The docs-check workflow only scanned the PR body for a linked horus-docs PR, so a link added by a reviewer or other contributor in a comment wasn't recognized.
  • Now also fetches PR issue comments via the GitHub API and checks them alongside the body.

Test plan

  • Open a PR touching src/** with no docs link in the body but a horus-docs PR link in a comment, confirm the check passes.
  • Confirm the "[x] No documentation update required" opt-out in the body still works.

Previously only the PR body was scanned for a horus-docs link, so a
reviewer or other contributor linking the docs PR in a comment (rather
than the author editing the body) would still fail the check.
@chdominguez
chdominguez merged commit 68a2200 into main Sep 2, 2026
7 checks passed
@chdominguez
chdominguez deleted the docs-check-comments branch September 2, 2026 08:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant