- From: Liam R. E. Quin <liam@fromoldbooks.org>
- Date: Tue, 25 Jul 2023 17:16:04 -0400
- To: Michael Kay <mike@saxonica.com>
- Cc: public-xslt-40@w3.org
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. liam -- Liam Quin, https://www.delightfulcomputing.com/ Available for XML/Document/Information Architecture/XSLT/ XSL/XQuery/Web/Text Processing/A11Y training, work & consulting. Barefoot Web-slave, antique illustrations: http://www.fromoldbooks.org
Received on Tuesday, 25 July 2023 21:16:31 UTC