diff options
| author |  Hedy Li <[email protected]> | 2020-10-31 15:42:59 +0800 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2020-10-31 15:42:59 +0800 |
| commit | 57800121c067d22396055e30e3e3a91899c9b4fa (patch) | |
| tree | aac33a720a32c5eed3376aa6fc3baf258f69ccf9 | |
| parent | Fix capitalization of 'PR' in hacktoberstats.py (diff) | |
Continue loop if repo topics API request errored
| -rw-r--r-- | bot/exts/halloween/hacktoberstats.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bot/exts/halloween/hacktoberstats.py b/bot/exts/halloween/hacktoberstats.py index a5ec4dc4..701ef0b3 100644 --- a/bot/exts/halloween/hacktoberstats.py +++ b/bot/exts/halloween/hacktoberstats.py @@ -342,7 +342,7 @@ class HacktoberStats(commands.Cog): jsonresp2 = await HacktoberStats._fetch_url(topics_query_url, GITHUB_TOPICS_ACCEPT_HEADER) if jsonresp2.get("names") is None: logging.error(f"Error fetching topics for {shortname}: {jsonresp2['message']}") - return [] + continue # Assume the repo doesn't have the `hacktoberfest` topic if API request errored # PRs after oct 3 that doesn't have 'hacktoberfest-accepted' label # must be in repo with 'hacktoberfest' topic |