Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Stop trying to fetch events with event_id=None. #5753

Merged
merged 1 commit into from
Jul 24, 2019
Merged

Commits on Jul 24, 2019

  1. Stop trying to fetch events with event_id=None.

    `None` is not a valid event id, so queuing up a database fetch for it seems
    like a silly thing to do.
    
    I considered making `get_event` return `None` if `event_id is None`, but then
    its interaction with `allow_none` seemed uninituitive, and strong typing ftw.
    richvdh committed Jul 24, 2019
    Configuration menu
    Copy the full SHA
    a89cf7c View commit details
    Browse the repository at this point in the history