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.

1 participant