Skip to content

make generate: skip fetch if commit already exists locally#4668

Merged
denik merged 1 commit intomainfrom
denik/speedup-makefile
Mar 5, 2026
Merged

make generate: skip fetch if commit already exists locally#4668
denik merged 1 commit intomainfrom
denik/speedup-makefile

Commits

Commits on Mar 5, 2026