Fix git-target in CI#814

Merged

tyhal merged 1 commit intomainfrom

Oct 26, 2025

Commits on Oct 26, 2025

Fix ci now that git-diff is no longer required with the git-target flag already set
tyhal
committed