Contents:
API:
get_trigger_number()
Gets the trigger number from the GRB table.
grb (str) – Telephone number of GRB, e.g., ‘GRB140903A’ or ‘140903A’ are valid inputs.
The GRB trigger number.
str