2 Commits

Author SHA1 Message Date
Christophe Bliard 3679504e27 Use Bearer token directly for GitHub API requests
I got some 403 errors when using Basic auth with username and token.

Good thing: it makes the GITHUB_USERNAME env variable useless.
2026-03-11 12:10:34 +01:00
Alexander Brandon Coles 474324fb18 Add out-of-hours CI failure reporting 2026-03-10 15:26:38 -03:00