Closed jacobbramley closed 4 months ago
Show zulip_id if present.
zulip_id
In addition, if ZULIP_USER and ZULIP_TOKEN are set, try to look up the user's name (as shown in Zulip itself). This is useful for finding people whose Zulip name differs from their GitHub name.
The tests seem to be fixed by #1355.
Show
zulip_id
if present.In addition, if ZULIP_USER and ZULIP_TOKEN are set, try to look up the user's name (as shown in Zulip itself). This is useful for finding people whose Zulip name differs from their GitHub name.