Skip to content

Conversation

wxtim
Copy link

@wxtim wxtim commented Aug 28, 2025

My reviewer wanted diffs to be exempted from copying (because they weren't working very well in our project). It was easy to do, but took longer than it should.

This PR is a proposal to add the instruction I needed to the user guide.

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.

1 participant