Skip to content

Conversation

@PetziPotato
Copy link

@PetziPotato PetziPotato requested a review from a team as a code owner February 11, 2026 23:52
@github-project-automation github-project-automation bot moved this to Awaiting review in Paper PR Queue Feb 11, 2026
@github-project-automation github-project-automation bot moved this from Awaiting review to Closed in Paper PR Queue Feb 12, 2026
@PetziPotato
Copy link
Author

Turns out this was intended behaviour, woops

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Closed

Development

Successfully merging this pull request may close these issues.

1 participant