Skip to content

ci: update issue-close whitelist - #415

Merged
XuPeng-SH merged 1 commit into
mainfrom
chore/update-issue-close-whitelist
Aug 1, 2026
Merged

ci: update issue-close whitelist#415
XuPeng-SH merged 1 commit into
mainfrom
chore/update-issue-close-whitelist

Conversation

@XuPeng-SH

Copy link
Copy Markdown
Contributor

Summary

  • add XuPeng-SH to the reopen-without-PR close whitelist
  • remove sukki37 from the close-policy bypasses
  • route automatically reopened no-PR issues to XuPeng-SH

Validation

  • git diff --check
  • YAML parse validation for .github/workflows/robot.yaml

@XuPeng-SH
XuPeng-SH force-pushed the chore/update-issue-close-whitelist branch 2 times, most recently from 741da13 to a1b9714 Compare August 1, 2026 11:44
@XuPeng-SH
XuPeng-SH force-pushed the chore/update-issue-close-whitelist branch from a1b9714 to 8e03d1a Compare August 1, 2026 11:46
@XuPeng-SH
XuPeng-SH merged commit d703d51 into main Aug 1, 2026
1 check passed
@XuPeng-SH
XuPeng-SH deleted the chore/update-issue-close-whitelist branch August 1, 2026 11:49
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