Skip to content

Link to new PR when closing stale spec-update PRs#552

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

Link to new PR when closing stale spec-update PRs#552
cguldner merged 1 commit into
dropbox:mainfrom
cguldner:close-old-prs-with-link

Conversation

@cguldner

Copy link
Copy Markdown
Contributor

Summary

  • Move the "Close Old Pull Requests" step to run after PR creation
  • Comment "Superseded by #" on each old PR before closing it
  • Skip the newly created PR when iterating open PRs

Test plan

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

🤖 Generated with Claude Code

Move the close step after PR creation so it can comment
"Superseded by #<new>" on each old PR before closing it.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@cguldner
cguldner enabled auto-merge (squash) July 17, 2026 19:05
@cguldner
cguldner merged commit fedfe10 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