chore: update prod from main - #1215

Merged

fhennig merged 11 commits into

prodfrom

May 28, 2026

Commits on May 19, 2026

chore(website): bump uuid from 11.1.0 to 14.0.0 in /website (#1174)
dependabot[bot]
authored
chore(backend): bump the minorandpatch group in /backend with 5 updates (#1210)
dependabot[bot]
authored
feat(backend, website): add users table with GitHub sync and internal IDs, use in website code (#1201)

authored

Commits on May 20, 2026

feat(website): replace plain textarea in VariantEditor with validated AdvancedQueryFilter (#1197)

fhennig
and
claude
authored

Commits on May 21, 2026

Commits on May 27, 2026

Commits on May 28, 2026

feat(backend): configure genspectrum-bot system user for prod and staging (#1230)

fhennig
and
claude
authored