Open
Description
Describe the bug
Came up in #33335
The stale PR bot warned about merge conflicts, but then still closed the PR after a merge from main without further notice.
This is probably a bug. We should investigate what happened and fix it; either correctly detect that the PR is no longer stale, or post a new message to indicate the new reason for why the PR is still considered stale.
Regression Issue
- Select this option if this issue appears to be a regression.
Last Known Working CDK Library Version
No response
Expected Behavior
Current Behavior
Reproduction Steps
Possible Solution
No response
Additional Information/Context
No response
AWS CDK Library version (aws-cdk-lib)
AWS CDK CLI version
Node.js Version
OS
Language
TypeScript
Language Version
No response
Other information
No response