Skip to content

Conversation

@geekosaur
Copy link
Collaborator

The merge label was set before it was ready to merge, and Mergify doesn't consider PR comments for last-updated checks because the GitHub API treats them as separate from PRs.

Reverts #10336

@geekosaur geekosaur closed this Sep 10, 2024
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.

2 participants