Skip to content

Conversation

patrick91
Copy link
Contributor

No description provided.

@tiangolo
Copy link
Member

I think we still want this to be running to add new PRs to the GitHub project for us to triage, etc. So I'll close this one here for now, but let me know on DM if you were thinking something else. 🍫

@tiangolo tiangolo closed this Aug 31, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants