Amend managed fix pull requests in place #12

Merged

lambadalambda merged 1 commit from feat/amend-managed-fix-pr into main 2026-08-29 14:12:04 +00:00

Conversation 0 Commits 1 Files changed 17 +1724 -62

lambadalambda commented 2026-08-29 14:11:44 +00:00

Owner

Copy link

Summary

• authenticate existing bot-managed fix PRs before accepting in-place amendments
• publish exact-CAS head updates with bounded rollback and stale reconciliation
• preserve companion PR behavior for ordinary pull requests
• persist managed PR bindings and render in-place update results

Testing

• GOMAXPROCS=1 go test -p 1 ./...
• GOMAXPROCS=1 go vet -p 1 ./...
• GOMAXPROCS=1 sh scripts/adversarial-check.sh
• git diff --check

Review

• independent security/correctness review: no actionable findings
• independent architecture/DRY review: no actionable findings

## Summary - authenticate existing bot-managed fix PRs before accepting in-place amendments - publish exact-CAS head updates with bounded rollback and stale reconciliation - preserve companion PR behavior for ordinary pull requests - persist managed PR bindings and render in-place update results ## Testing - `GOMAXPROCS=1 go test -p 1 ./...` - `GOMAXPROCS=1 go vet -p 1 ./...` - `GOMAXPROCS=1 sh scripts/adversarial-check.sh` - `git diff --check` ## Review - independent security/correctness review: no actionable findings - independent architecture/DRY review: no actionable findings

lambadalambda added 1 commit 2026-08-29 14:11:44 +00:00

feat: amend managed fix pull requests in place 5f2152adcd

lambadalambda merged commit acda5f8d16 into main 2026-08-29 14:12:04 +00:00

lambadalambda referenced this pull request from a commit 2026-08-29 14:12:05 +00:00

Merge pull request #12: amend managed fix pull requests in place

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

lambadalambda/opencode-forgejo-bot!12

No description provided.