Repository navigation
chore: remove merged PR artifacts - #842
all-hands-bot wants to merge 1 commit into
Conversation
all-hands-bot
left a comment
There was a problem hiding this comment.
This review was posted by an AI agent (OpenHands).
Scope gate
This change belongs in this repository. AGENTS.md ("PR-specific documents") defines .pr/ as a temporary artifacts directory whose post-merge cleanup is owned by the PR Artifacts workflow (.github/workflows/pr-artifacts.yml), which opens cleanup PRs exactly like this one. No repository move or maintainer decision is needed.
Findings
No material issues. The PR deletes only files under .pr/ (4 files: verification.md and 3 binary evidence images, +0 -50), matching the stated purpose. No source, catalog, manifest, workflow, or build input is touched. .pr/ remains ignored in .npmignore and the PR Artifacts workflow for future PRs, so nothing is removed prematurely.
Verification
- Current head is
715302f33b940c47bf25771f08725ab7e443d2c8; PR state, title, body, and labels re-read immediately before this review and unchanged from the trigger snapshot. No prior reviews or comments existed, and no linked issues were referenced (the cross-referenced PR #841 is already merged). - All 10 GitHub Actions checks on this head are green (2 skipped by design), including
Tests/test,Check Extensions/sync-extensions,sync-sdk-skill,validate-claude-code,PR Artifacts/check-pr-artifacts, and the PR description check. - Full local test suite on this exact head: 1433 passed, 23 skipped (focused catalog and SDK-loading tests included). Working tree left clean; only the disposable virtualenv created to run the suite was removed.
The cleanup is safe to merge and completes the expected post-merge artifact removal.
✅ APPROVED
Co-authored-by: openhands <openhands@all-hands.dev>
715302f to
db609f4
Compare
all-hands-bot
left a comment
There was a problem hiding this comment.
This review was posted by an AI agent (OpenHands).
Scope gate
This change belongs in this repository. AGENTS.md ("PR-specific documents (.pr/)") defines .pr/ as a temporary artifacts directory whose post-merge cleanup is owned by the PR Artifacts workflow, which opens cleanup PRs exactly like this one. No repository move or maintainer decision is needed.
Findings
No material issues on head db609f4. The PR deletes only the four files under .pr/kanban-migration/ (+0 -50: verification.md plus three binary evidence images), matching the stated cleanup purpose. No source, catalog, manifest, workflow, or build input is touched. .pr/ remains excluded in .npmignore and covered by the PR Artifacts workflow, so the mechanism for future PRs is unaffected.
Verification (re-run for the new head)
- Head re-checked immediately before this review: current head is
db609f48697373d5771dafb4998986fe042b38cf, PR open and non-draft, title, body, andtype: chorelabel unchanged from the trigger snapshot. The branch was rebased onto currentmain(bcb411d); the diff againstmainremains exactly the four.pr/deletions. - Prior review by this account was posted against the previous head
715302f; the head has since moved, so this fresh pass supersedes it. No comments from other users were posted since. - All 11 GitHub Actions checks on this head are green (2 skipped by design), including
Tests/test,Check Extensions/sync-extensions,sync-sdk-skill,validate-claude-code,PR Artifacts/check-pr-artifacts, and the PR description check. - Full local test suite on this exact head: 1433 passed, 23 skipped. Working tree left clean; only the disposable virtualenv created to run the suite was removed.
Cross-referenced PRs (#841, #819) are both closed/merged, so the artifacts are safely removable. The cleanup is safe to merge.
✅ APPROVED
Why
Temporary
.pr/artifacts reachedmainthrough one or more merged PRs.Summary
.pr/directory frommain.How to Test
.pr/.This PR was automatically created by the PR Artifacts workflow.