Area editor: pull repo updates from the UI #67
Loading…
Reference in a new issue
No description provided.
Delete branch "task/66-pull-updates"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Closes #66
Pull updates button in the editor header, plus a
branch @ commitlabel.POST /api/pullrunsgit pull --ff-onlyof the checkout's current branch fromAWRY_PULL_URL(defaults to the public HTTPS repo URL, so no credentials are needed in the container). It holds the render lock while pulling, and a second concurrent pull gets a 409.godot --importif any non-tools/file changed, thenorigin/<branch>is moved to match (only when origin is project-awry) so hostgit statusdoesn't say "ahead", then the serverexecvs itself so pulled server/generator code is live. The page waits for/api/healthto report the new commit, reloads, and shows the commit list (carried across the reload in sessionStorage, along with the selected area).git; the entrypoint marks/repoas a gitsafe.directoryso a UID mismatch can't block pulls.Verified (real entrypoint against a fresh clone, pulling from a local "upstream" via
AWRY_PULL_URL, driven in headless Chromium):server.py(adds a health field), the catalog (adds Gem), and a non-tools file: the update ran, the server re-exec'd (the new health field is present), the page reloaded showing the commit list, and Gem appeared in the palette.git status -sbshowed no ahead/behind.pull_updates().Needs a one-time rebuild on optibcc for
git:docker compose up -d --build. After that, updates are one click.🤖 Generated with Claude Code