Skip to content

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

Merged
fhennig merged 1 commit into
mainfrom
configure-system-user
May 28, 2026
Merged

feat(backend): configure genspectrum-bot system user for prod and staging#1230
fhennig merged 1 commit into
mainfrom
configure-system-user

Conversation

@fhennig
Copy link
Copy Markdown
Contributor

@fhennig fhennig commented May 27, 2026

Summary

  • Adds systemUser block to application-dashboards-prod.yaml and application-dashboards-staging.yaml
  • Uses genspectrum-bot (GitHub ID 218605180) as the system user
  • apiKey is bound to the DASHBOARDS_SYSTEM_USER_API_KEY environment variable — startup fails if the env var is not set

Deployment

Related PR here: https://github.com/GenSpectrum/servers/pull/491

The var is set on both prod and staging already. (Can't set it now, because it breaks staging because github ID isn't set yet)

🤖 Generated with Claude Code

…ging

Wires DASHBOARDS_SYSTEM_USER_API_KEY env var; startup fails if unset.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@vercel
Copy link
Copy Markdown

vercel Bot commented May 27, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
dashboards Ready Ready Preview, Comment May 27, 2026 11:58am

Request Review

@fhennig fhennig merged commit 6b1fc74 into main May 28, 2026
13 checks passed
@fhennig fhennig deleted the configure-system-user branch May 28, 2026 06:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants