Re: Diff files for PRs

Michael Kay <mike@saxonica.com> writes:
> Do the diff files for specific PRs still exist after the changes have been merged?
>
> Sometimes the time you really want them is when the PR has been
> approved and you are implementing the changes...

Ah. Sorry. I’ve been in the habit of cleaning them up. I’ll leave them
around longer in the future. Actually, this is git…I’ll pull them back
for you tomorrow and send out instructions for how to get to them.

Which PR were you looking for?

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica

Received on Tuesday, 25 July 2023 18:42:32 UTC