current HEAD: "8b5a19b4ff6a2096225d88cf24cfeef03edc1bed" (2025-07-17 10:56:56 -0700 -0700)
considering "8b5a19b4ff6a2096225d88cf24cfeef03edc1bed"
failed to apply to "8b5a19b4ff6a2096225d88cf24cfeef03edc1bed": failed to apply patch 0: failed to run ["git" "apply" "-"]: exit status 1
error: json_print.c: No such file or directory

considering "8b5a19b4ff6a2096225d88cf24cfeef03edc1bed"
failed to apply to "8b5a19b4ff6a2096225d88cf24cfeef03edc1bed": failed to apply patch 0: failed to run ["git" "apply" "-"]: exit status 1
error: json_print.c: No such file or directory