Semgrep change history: Logins are failing for users via GitHub auth

Semgrep reported a major outage affecting GitHub-auth logins starting 2026-05-20 17:34 UTC; SSO logins were unaffected. A fix was rolled out at 17:49 UTC, restoring logins, and the incident was resolved at 2026-05-20 18:18 UTC after 44 min.