Shipped without git.
Every file on this page arrived through commit_files — a
single tool call carrying a {path: contents} map, which the
platform turns into one ordinary commit on the app's own repo.
That is the fallback path. When git is available, git push
is the one to use: it sends only what changed, so the tenth edit costs a
few lines instead of the whole project.