Closed pederhan closed 3 months ago
This PR adds a number for each diff for better readability when reviewing them.
Number shown before diff
Number shown when reviewing the change
Added breathing room between each diff
We also keep track of the number of resolved and unresolved diffs and print messages and exit accordingly.
All diffs resolved
Mix of resolved and unresolved diffs
No diffs found
Oh yes, great stuff! :)
Numbering
This PR adds a number for each diff for better readability when reviewing them.
Number shown before diff
Number shown when reviewing the change
Added breathing room between each diff
Improved messages
We also keep track of the number of resolved and unresolved diffs and print messages and exit accordingly.
All diffs resolved
Mix of resolved and unresolved diffs
No diffs found