promote: dev → main (sign in with Discord) #116

Merged

admin_emi merged 1 commit from dev into main

2026-07-26 18:22:04 +00:00

Author	SHA1	Message	Date
emi	8572c4aa6d	accounts: sign in with Discord, sharing the existing link callback (#115 ) All checks were successful Sync infra to hosts / sync-beta (push) Has been skipped Details Sync infra to hosts / sync-prod (push) Has been skipped Details Sync infra to hosts / sync-dev (push) Successful in 11s Details secrets-guard / encrypted (push) Successful in 6s Details shell-lint / shellcheck (push) Successful in 7s Details Build + push images (Forgejo registry) / build-push (backend) (push) Successful in 1m21s Details Build + push images (Forgejo registry) / build-push (frontend) (push) Successful in 1m19s Details Deploy / deploy (frontend) (push) Successful in 1m27s Details Deploy / deploy (backend) (push) Successful in 1m49s Details secrets-guard / encrypted (pull_request) Successful in 5s Details PR build (required check) / changes (pull_request) Successful in 7s Details shell-lint / shellcheck (pull_request) Successful in 6s Details PR build (required check) / validate-observability (pull_request) Has been skipped Details PR build (required check) / build-frontend (pull_request) Successful in 1m16s Details PR build (required check) / build-backend (pull_request) Successful in 1m36s Details PR build (required check) / gate (pull_request) Successful in 1s Details	2026-07-26 18:16:55 +00:00