Tuning notes
Every note below steers all future answers.
No tuning notes yet — press “Tune” under any answer to add one.
Sign in to manage the git sources
The list of repositories cloned and indexed by the sync service clones and indexes is admin-only. Chat — and any document an answer cites — stays open to everyone.
Sign inGit sources
The git repositories and local directories the Sync button
imports. Add or remove them here — no .env, no
restart.
These sources currently come from BOR_GIT_SOURCES in
.env — adding or removing one here switches management
to the database.
| Source | Added | Actions |
|---|
No sources stored yet.
Uploads unpack and scan immediately — re-uploading the same filename replaces that source in place (no new folder, no duplicate row). The Sync button still imports the git checkouts and local directories together (files removed from a source are pruned) — removing a source prunes its documents from the index on the next sync.