in notifier.py [0:0]
def is_bot(userid: str):
"""Figures out if a GitHub user is a known bot or not"""
if "[bot]" in userid: # Easiest way to detect is the [bot] marker
return True
# Try the bot file?
known_robots = set()
if os.path.isfile(KNOWN_BOTS_FILE): # If we have a list file
# Grab all lines that aren't comments
bots_from_file = [x.strip() for x in open(KNOWN_BOTS_FILE).readlines() if not x.startswith("#")]
#Update bot set with all non-empty lines
known_robots.update([bot for bot in bots_from_file if bot])
return userid in known_robots