-
Notifications
You must be signed in to change notification settings - Fork 361
Improve DDUw: scan artifact constants and recognize non-DDUw PR closures #25814
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Changes from all commits
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change | ||||||
|---|---|---|---|---|---|---|---|---|
|
|
@@ -86,6 +86,7 @@ repo:${{ github.repository }} is:issue is:closed label:documentation closed:>=YY | |||||||
| For each issue found: | ||||||||
| - Record the issue number, title, body, and closing date. | ||||||||
| - Check whether a DDUw-created PR (label `documentation automation`, title prefix `[docs]`) was merged that references or addresses the issue in the same time window. If such a PR exists, DDUw likely already handled it — skip this issue. | ||||||||
| - If no DDUw `[docs]` PR references the issue, also search for any merged PR that closes or fixes the issue by number (e.g. `closes #NNN`, `fixes #NNN`, `resolves #NNN` in the PR body). If such a PR is found, verify the documentation change it made is complete and skip the issue. | ||||||||
|
|
||||||||
|
Comment on lines
+89
to
90
|
||||||||
| - If no DDUw `[docs]` PR references the issue, also search for any merged PR that closes or fixes the issue by number (e.g. `closes #NNN`, `fixes #NNN`, `resolves #NNN` in the PR body). If such a PR is found, verify the documentation change it made is complete and skip the issue. | |
| - If no DDUw `[docs]` PR references the issue, also search for any merged PR that closes or fixes the issue by number (e.g. `closes #NNN`, `fixes #NNN`, `resolves #NNN` in the PR body). Use `search_pull_requests` with an explicit query in the same repo and 7-day window, for example: | |
repo:${{ github.repository }} is:pr is:merged merged:>=YYYY-MM-DD ("closes #NNN" OR "fixes #NNN" OR "resolves #NNN")
Replace `YYYY-MM-DD` with the date 7 days ago and `NNN` with the issue number. If such a PR is found, verify the documentation change it made is complete and skip the issue.
Copilot
AI
Apr 11, 2026
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The artifact-constant scan greps only two specific files. That works today, but it will silently miss new *ArtifactName constants if they’re added to another pkg/constants/*.go file later. Consider widening the command to search the whole pkg/constants package so the check stays future-proof.
| grep -Pn "ArtifactName\s*=" pkg/constants/constants.go pkg/constants/job_constants.go | |
| grep -Pn "ArtifactName\s*=" pkg/constants/*.go |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The instructions say to identify DDUw PRs by label
documentation automation, but the workflow’s own PR creation config uses two labels:documentationandautomation(and DDUw’s workflow matches this). As written, this label name likely won’t match real PRs and could cause DDUw-handled issues to be reprocessed; suggest updating the text to check for both labels (or align with the configured labels).