gi

• Use git diff --no-index for regular diffs Feb 3, 2022