Skip to content

Conversation

@TysonRayJones
Copy link
Member

This PR replaces #652 (preserving @lucjaulmes's commits) to add additional polish and defensive design. The previous PR was astonishingly impossible for me to make changes to, locally and through codespaces - rebase mischief?!

@TysonRayJones
Copy link
Member Author

@lucjaulmes I think it's ready to merge! It was my original intention to squash and give you authorship of my changes too, though they ended up more substantial than expected (and include lots of doc which is only my interpretation of the logic - so it might be wrong!). Would you be okay to coauthor the squash (which will link to this PR to disambiguate commits)?

@lucjaulmes
Copy link
Contributor

Docs & changes look good to me. Commit authorship is as you prefer, it’s documented in files anyway.

@TysonRayJones TysonRayJones merged commit 378ad71 into devel Jul 9, 2025
130 checks passed
@TysonRayJones TysonRayJones deleted the lucjaulmes-devel branch July 19, 2025 14:18
@TysonRayJones TysonRayJones mentioned this pull request Oct 13, 2025
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.

3 participants