def is_bot()

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