3 Commits

Author	SHA1	Message	Date
Tushar912	dfafdda9b3	api: Add REST API endpoint for looking up a user by email address. ... Add new rest api endpoint GET users/{email} for looking up a user by email, which is useful especially for corporate API applications that might already have a user's email address. Fixes #14302.	2021-02-15 17:38:33 -08:00
Kartik Srivastava	4aec4cbfae	js_examples: Migrate and test get_users example.	2020-06-23 14:35:07 -07:00
orientor	d8ef853545	openapi: Make api-docs filename match with operationIds. ... api docs filenames are basically the operationId of their endpoint in zulip.yaml with `_` replaced by `-`. But some operationIds have changed, so change the affected filenames. Make changes in other files accordingly.	2020-06-18 22:38:05 -07:00