v0.1.3 — board boots once (no issue-list flicker)

Fix

• Board no longer flickers/thrashes on mount (#13). Both view pages called boot() twice — kit.initPluginView(boot) (after the auth handshake) and a redundant direct boot() — so two overlapping config + load() sequences cycled the list Loading → data → Loading → data. Now it boots once. load() also got a monotonic token so a stale in-flight fetch (rapid tab/filter clicks) can't clobber a fresher list.

Regression test pins single-boot; 87 tests pass.

Full changelog: v0.1.2...v0.1.3

v0.1.2 — gh tools default to the configured repo

Pin with ref: v0.1.2.

New

• Tools default to the configured repo. Every read/write tool's repo is now optional and falls back to github.default_repo → first of github.repos → GITHUB_DEFAULT_REPO/GH_REPO env. An explicit repo still wins. So an agent with one repo configured no longer has to be told which repo on every call.

Since v0.1.1

• Board shows a set default_repo even with an empty repos; board reads config live (no restart). (v0.1.1)

Full suite: 87 passed.

v0.1.1 — selectable default_repo + live board config

First tagged release. Bundles can now pin ref: v0.1.1.

Fixes

• Board shows your configured repo. A default_repo set with an empty repos list left the picker empty ("nothing to select"); the resolved default is now folded into the picker (deduped, first).
• Board reads config live — no restart. build_data_router reads config per request via a getter (registry.live_config when the host offers it, ADR 0019), so repo/default_repo edits show immediately. A hot-reload can't re-mount the router; reading live closes that gap. Falls back to the register-time snapshot on older hosts.

Notes

• Requires a host with PluginRegistry.live_config() for the live behavior (protoAgent ≥ the build with #1358); older hosts work, just snapshot-on-load.
• Manifest still ships enabled: false + write: false (operator opt-in).

Full suite: 84 passed.