doxa-life/doxa-maps
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Re-cut the joining page against the Driver's follow-up

Browse source 
repo af37aa52 changed two things I had written emphatically, and studio confirmed both independently
(END-REPO-NAMES2 / END-STU-DOCFIX).

- DX_SYNC_REMOTE now takes a remote NAME **or** a full repo URL. My callout said "the remote's NAME, not a
  URL" — a sentence whose whole point is now backwards, so it is rewritten rather than softened. A URL saves
  a `git remote add`, and a private repo uses the laptop's existing git credentials.
- DX_SYNC_INTERVAL default is 5 seconds, minimum 2. It was 15/5.
- Added the reassurance studio named: a token in an `https://user:token@…` URL is never written to the log
  or shown at /api/dev-sync. That is exactly the question someone pasting a private URL will have, and the
  answer is good — worth stating rather than leaving them to wonder.

⚠ AND I DID **NOT** TOUCH LINES 38 AND 167, which also say "about every 15 seconds". studio flagged that
those describe the SHARED SERVER's pull loop — a different thing from DX_SYNC_INTERVAL that happens to have
carried the same number. Changing them because the number matched would have introduced a fresh error while
fixing a real one; checked both after the edit and they are intact.

Every other name still matches repo's branch. repo has also warned that a shared team database may later
become the default, which would make the PocketBase section go stale; they will tell me before it does.
This commit is contained in:
Doxa Maps 2026-09-27 23:35:56 +00:00
parent 3de124209a
commit ed04175a5d
1 changed files with 7 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
documentation/HOWTO-join-the-table.md
View file

@ -85,15 +85,19 @@ DX_SYNC_REMOTE=origin
That is the only line you need. `.env.local` is never committed, so it stays yours.
> **`DX_SYNC_REMOTE` is the remote's NAME, not a URL.** For almost everyone that is `origin`. Leave it
> unset and the whole feature is off.
> **Either a remote name or a full repo URL works.** `origin` is what almost everyone wants. A URL —
> `https://…/your-repo.git` — works too and saves you a `git remote add`; if the repo is private it uses
> the git credentials your laptop already has. Leave it unset and the whole feature is off.
>
> If you do put a token in the URL (`https://user:token@…`), it is never written to the log or shown at
> `/api/dev-sync`.
Two optional dials, if you want them:
| | what it does | default |
|---|---|---|
| `DX_SYNC_BRANCH` | which branch to follow | `main` |
| `DX_SYNC_INTERVAL` | seconds between checks | `15` (minimum 5) |
| `DX_SYNC_INTERVAL` | seconds between checks | `5` (minimum 2) |
**It only pulls when it is completely safe to.** All three must be true: you are on that branch, you have no
unsaved edits, and you have no local commits. If any one of them is not, it does not touch your files —