Area editor: pull repo updates from the UI #66

New issue

Closed

opened 2026-10-05 01:48:30 -04:00 by Nimby · 0 comments

Nimby commented

2026-10-05 01:48:30 -04:00

Collaborator

Add a Pull updates button so the editor's checkout (e.g. the one mounted into the optibcc container) can be updated without SSHing in.

Fast-forward-only pull of the current branch from the public repo URL (AWRY_PULL_URL); no credentials in the container. Refuses rather than merging or overwriting local edits, and shows git's message.
After an update: re-run the Godot import if non-tool files changed, then the server re-execs itself so server/generator changes apply. No container restart; the page reloads when the server is back.
Header shows the current branch @ commit.
Image gains git (one-time rebuild) and marks /repo as a safe directory.

Add a **Pull updates** button so the editor's checkout (e.g. the one mounted into the optibcc container) can be updated without SSHing in. - Fast-forward-only pull of the current branch from the public repo URL (`AWRY_PULL_URL`); no credentials in the container. Refuses rather than merging or overwriting local edits, and shows git's message. - After an update: re-run the Godot import if non-tool files changed, then the server re-execs itself so server/generator changes apply. No container restart; the page reloads when the server is back. - Header shows the current branch @ commit. - Image gains `git` (one-time rebuild) and marks `/repo` as a safe directory.

Nimby self-assigned this

2026-10-05 01:48:30 -04:00

Nimby referenced this issue from a commit

2026-10-05 01:52:30 -04:00

Area editor: pull repo updates from the UI

Nimby referenced this issue from a pull request that will close it,

2026-10-05 01:52:42 -04:00

Area editor: pull repo updates from the UI #67

Nimby closed this issue

2026-10-05 01:52:43 -04:00