Closed MarekMichali closed 4 days ago
Add one of following labels
- kind/feature -> Use it when you want to submit a new feature
- kind/enhancement -> Use it when you modify or improve an existing feature
- kind/bug -> Use it when you fix a bug
/kind enhancement
Description
This checks if a PR has been merged after the first PR merge check and before the bumps are merged. This checks also if a PR has been merged after the second PR merge check and before the draft release and tag are created. This covers the corner case scenario where there is about a ~1 s window in the whole release where we could merge a PR and not detect it when needed.
Related issue(s)