Skip to content

Conversation

dstansby
Copy link
Member

@dstansby dstansby commented Aug 3, 2025

PR summary

This is a start at tackling #26942. To keep the PR manageable, I've started with just the functions at the top of the file.

PR checklist

@QuLogic
Copy link
Member

QuLogic commented Aug 5, 2025

Note, this file was already done by a new contributor in #30126; would you be interested in tackling the final comments there instead?

@dstansby
Copy link
Member Author

Note, this file was already done by a new contributor in #30126; would you be interested in tackling the final comments there instead?

It looks like this PR is stalled, but I'd be happy to take it over. Do you have a preference on whether this PR should be merged or closed before I finish of the work in #30126? I'd have a soft preference to merge this since it's smaller and already has one approval.

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

Successfully merging this pull request may close these issues.

3 participants