Repository navigation

Refresh public DB services, builds, and documentation - #1

Merged

DoctorRemoteControl merged 7 commits into

mainfrom

public/db-refresh

Oct 31, 2026

Merged

Refresh public DB services, builds, and documentation#1
DoctorRemoteControl merged 7 commits into
mainfrom
public/db-refresh

Commits on Oct 31, 2026
- docs: design the public database refresh
  Dirk
  committed
  6b3645b
- docs: plan public DB implementation and validation
  Dirk
  committed
  ac74c5c
- feat: refresh public database services and add DuckDB coverage
  Dirk
  committed
  de868ca
- fix: verify and align public Karaf database features
  Dirk
  committed
  51018b4
- docs: add English quick start, client example, and Java CI
  Dirk
  committed
  0ef279b
- fix: make PostgreSQL migrations safe with a single pooled connection
  Dirk
  committed
  32df004
- docs: record completed public refresh validation
  Dirk
  committed
  aa32c56