Skip to content

feat: embed manager in GIS#851

Merged
michaelmattig merged 7 commits intomainfrom
manager-in-gis
Jan 8, 2026
Merged

feat: embed manager in GIS#851
michaelmattig merged 7 commits intomainfrom
manager-in-gis

Commits

Commits on Jan 5, 2026

Commits on Jan 7, 2026

Commits on Jan 8, 2026