Fix github API handling and keyman behavior to correct handling of invalid or missing keys #417

Merged

MoralCode merged 5 commits into

mainfrom

fix/facade_none_keys

Jun 26, 2026

Commits on Jun 20, 2026

update keyman key returning check to ensure both that the key exists AND that its value is not None
MoralCode
committed

Commits on Jun 22, 2026

have clients wait 5 minutes when requesting a new key when none are available
MoralCode
committed
Check for an actual "bad credentials" message from github before raising an exception that will invalidate the key
MoralCode
committed
warn when a bad credential is received
MoralCode
committed

Commits on Jun 25, 2026

retry NotAuthorized Exceptions per comment from a github staff person
MoralCode
committed