Re: Diff files for PRs

"Liam R. E. Quin" <liam@fromoldbooks.org> writes:
> On Tue, 2023-07-25 at 19:41 +0100, Norm Tovey-Walsh wrote:
>> Michael Kay <mike@saxonica.com> writes:
>> > Do the diff files for specific PRs still exist after the changes
>> > have been merged?
>
> You can ask git to generate diffs between two commits
> e.g. git diff c1 c2
> where c1 and c2 are the short hex numbers (e.g. 7 or 8 hex digits)
> referring to the commits. You can find them with git reflog.
>
> A GUI-based client such as fork should have a way to do it too.

I think Mike is looking for the nicely formatted Delta XML versions, not
the “raw” text diffs.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica