diff options
| author |  Den4200 <[email protected]> | 2020-10-01 00:15:14 -0400 |
|---|---|---|
| committer | Den4200 <[email protected]> | 2020-10-01 00:15:14 -0400 |
| commit | deee8cfebc69e63ddc0060bc888e7f00b90efe6e (patch) | |
| tree | 1ad0a17dfbf3efca46a830ab0a01f772dac22ffa /bot/bot.py | |
| parent | Check the GitHub user exists before searching for their PRs. (diff) | |
Removed unnecessary GitHub API request and checked response message instead.
This check is to see if a GitHub user is non-existent. We do not want to log
this as an error.
Diffstat (limited to 'bot/bot.py')
0 files changed, 0 insertions, 0 deletions