Ryan Ofsky 84388c942c ci: avoid running git diff after patching ...

Drop `git diff` command so it is easier to run CI locally if git checkout is a
worktree. Currently it fails because the directory is not recognized as a git
repository.

The `git diff` command was added recently in #28359 commit
fa07ac48d8 and can be avoided just by teeing the
patch to stdout

2024-02-21 11:16:56 -05:00

7.9 KiB

Executable File

Raw Blame History

View Raw