Skip to content

Conversation

@cthoyt
Copy link
Collaborator

@cthoyt cthoyt commented Jan 28, 2024

No description provided.

@v0lta v0lta self-assigned this Jan 31, 2024
@v0lta v0lta self-requested a review January 31, 2024 08:34
@v0lta v0lta marked this pull request as ready for review February 1, 2024 17:59
Copy link
Owner

@v0lta v0lta left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is a nice idea!

@v0lta
Copy link
Owner

v0lta commented Feb 1, 2024

All checks pass. I am merging this.

@v0lta v0lta merged commit 38901ce into main Feb 1, 2024
@v0lta v0lta deleted the typing-everywhere branch February 1, 2024 19:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants