diff options
| author |  Hedy Li <[email protected]> | 2020-10-09 08:52:40 +0000 |
|---|---|---|
| committer | Hedy Li <[email protected]> | 2020-10-09 08:52:40 +0000 |
| commit | 08d064ee05f2fe30bf518ff599dfc2feca9a1aef (patch) | |
| tree | 2552c77524f209dcc6f650c435a1e16b1c66a6e3 /bot/constants.py | |
| parent | fix topics and label logic (diff) | |
update return type for `get_october_prs`
it returns None when no PRs found, so I put that in `Union`
with `List[dict]`
Diffstat (limited to 'bot/constants.py')
0 files changed, 0 insertions, 0 deletions