diff options
| author |  Hedy Li <[email protected]> | 2020-10-09 08:52:40 +0000 |
|---|---|---|
| committer | Hedy Li <[email protected]> | 2020-10-09 08:57:09 +0000 |
| commit | 8f43a0bd261e200e49562bed109eadf3219934f8 (patch) | |
| tree | 2552c77524f209dcc6f650c435a1e16b1c66a6e3 /bot/__main__.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/__main__.py')
0 files changed, 0 insertions, 0 deletions