InvalidUsernameException 5f70d40feb CI: Make failure to fetch git-gloss a fatal error ... bbad346add corrected a URL that broke several weeks ago. This problem went unnoticed for a while partially because the workflow runs were all still passing. A failure of a command in an &&-list is only considered an error if it occurred in the last command of the list, even with `set -e` being active (set automatically in GitHub actions). From the Bash Reference Manual, 4.3.1 The Set Builtin: > The shell does not exit if the command that fails is [...] part of any > command executed in a && or || list except the command following the > final && or ||. Let's make download failures easier to disover by failing the workflow. Every master-push getting marked with a red x-sign would probably have been caught earlier.		2026-02-25 10:08:23 +01:00
..
actions	CI: Switch back to Linux for code linting	2026-02-24 14:33:22 -05:00
ISSUE_TEMPLATE	GitHub: Fix grammar error/typo in bug_report.yml issue template	2024-10-31 10:25:27 +01:00
workflows	CI: Make failure to fetch git-gloss a fatal error	2026-02-25 10:08:23 +01:00
CODEOWNERS	Everywhere: Hoist the Libraries folder to the top-level	2024-11-10 12:50:45 +01:00
dependabot.yml	Meta: Add dependabot configuration to update github actions	2023-01-16 20:59:23 -08:00
FUNDING.yml	Meta: Remove Polar from FUNDING.yml and FAQ.md	2025-07-10 10:04:33 +02:00