Skip to content

Conversation

@exploreriii
Copy link
Owner

Description:

Related issue(s):

Fixes #

Notes for reviewer:

Checklist

  • Documented (Code comments, README, etc.)
  • Tested (unit, integration, etc.)

cheese-cakee and others added 11 commits December 29, 2025 21:13
- Handle persistent 'unknown' mergeable state after retry exhaustion
- Fix broken documentation links with absolute GitHub URLs
- Remove unused 'hasFailure' variable
- Add explicit ref parameter to checkout for pull_request_target safety

Signed-off-by: cheese-cakee <[email protected]>
- Fix incorrect file path in script comment header
- Add pagination for repositories with many open PRs using github.paginate

Signed-off-by: cheese-cakee <[email protected]>
- Update actions/checkout to v6.0.1 (8e8c483) with version comment
- Update step-security/harden-runner to v2.13.1 (f4a75cf) with version comment
- Update actions/github-script to v8.0.0 (ed59741) with version comment
- Follow project guidelines for pinning actions to commit SHAs

Signed-off-by: cheese-cakee <[email protected]>
- Add blank line before loop for readability
- Document behavioral difference between push and PR events
- Explain status reporting logic for different event types

Signed-off-by: cheese-cakee <[email protected]>
Signed-off-by: exploreriii <[email protected]>
@github-actions
Copy link

Hi @exploreriii, this is LinkBot 👋

Linking pull requests to issues helps us significantly with reviewing pull requests and keeping the repository healthy.

🚨 This pull request does not have an issue linked.

Please link an issue using the following format:

📖 Guide:
docs/sdk_developers/training/workflow/how_to_link_issues.md

If no issue exists yet, please create one:
docs/sdk_developers/creating_issues.md

Thanks!

@exploreriii exploreriii marked this pull request as ready for review December 30, 2025 22:36
@exploreriii exploreriii merged commit 4ed20e8 into main Dec 30, 2025
17 of 18 checks passed
@exploreriii exploreriii deleted the merge-conflict-test branch January 3, 2026 20:14
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.

2 participants