In devel: git-diff and git-diff-pr commands work on .leo files

16 views

Skip to first unread message

Edward K. Ream

unread,

Dec 15, 2020, 11:16:11 AM12/15/20

to leo-editor

This work concludes #1781. See PR #1785 for details.

The git-diff (gd) command has been around for awhile. It now produces Leonine diffs of .leo files.

The git-diff-pr command is brand new today. When run in a branch, it will produces a diff of all files (including .leo files) against the base of the branch. Imo, Leo devs will soon wonder how we ever got along without the git-diff-pr. It's so much better than looking at diffs in the actual PR's!

I believe the new code should be safe to use. The new code affects only the new commands. Furthermore, the new code fixes some old buglets.