Re: Improved PR diffs

> So I’ve taken that cleverness out. If you push changes to your PR
> without first rebasing off the current master, you’re going to be
> introducing spurious diffs. But if you rebase off the current master
> before you push, the diffs should be only the ones relevant to your
> PR.

I should add, you can improve the diffs for any of your outstanding PRs
by pulling master from GitHub, rebasing your PR branch off it, and
(force) pushing the changes back to your fork.

This greatly improved the diffs for PR #849 this morning.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica

Received on Monday, 11 December 2023 10:28:28 UTC