diff options
| author | Philip Taron <philip.taron@gmail.com> | 2026-01-20 05:43:14 -0800 |
|---|---|---|
| committer | Philip Taron <philip.taron@gmail.com> | 2026-01-20 06:27:34 -0800 |
| commit | e6e6c544aeedee56f09dbd4ede2780015727ab08 (patch) | |
| tree | 70983daa7546bab85be995451095ccd3dbb5156d /pkgs/development/python-modules/python-openstackclient/git@git.tavy.me:nixos | |
| parent | 176d49999d5f4f18c2188d57a3cd2c73b14a0ced (diff) | |
ci/github-script/bot: handle deleted maintainer accounts gracefully
When a maintainer deletes their GitHub account, the bot would crash with a 404 error when trying to fetch their user info via `/user/{id}`.
This caused the scheduled bot workflow to fail repeatedly until manual intervention (e.g., closing/reopening the affected PR to clear the requested reviewer).
Fix by returning null from getUser() for 404 responses and filtering out null users when building the reviewers list.
Diffstat (limited to 'pkgs/development/python-modules/python-openstackclient/git@git.tavy.me:nixos')
0 files changed, 0 insertions, 0 deletions