Skip to content

Close old spec-update PRs before creation, comment with link after#553

Merged
cguldner merged 1 commit into
dropbox:mainfrom
cguldner:close-old-prs-with-link-v2
Jul 17, 2026
Merged

Close old spec-update PRs before creation, comment with link after#553
cguldner merged 1 commit into
dropbox:mainfrom
cguldner:close-old-prs-with-link-v2

Conversation

@cguldner

Copy link
Copy Markdown
Contributor

Summary

  • Move "Close Old Pull Requests" step before PR creation to avoid the force-push race
  • Save closed PR numbers as a step output
  • After the new PR is created, comment "Superseded by #" on each closed PR

Test plan

  • Trigger the workflow with an existing open spec-update PR
  • Verify old PR is closed before the new one is created
  • Verify the closed PR gets a "Superseded by #" comment

🤖 Generated with Claude Code

The create-pull-request action force-pushes the branch, which
closes old PRs before the close step can run. Move close step
before PR creation (saving closed PR numbers), then comment
"Superseded by #<new>" on each afterward.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@cguldner
cguldner enabled auto-merge (squash) July 17, 2026 19:10
@cguldner
cguldner merged commit 0d61908 into dropbox:main Jul 17, 2026
22 checks passed
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