| 
							
							
								 Marshall Polaris | 38c26f8b5c | Add API endpoints for fetching user info by username and ID (#652) * Add an API endpoint for fetching user info by username
* Add endpoint for querying users by ID, too
* Add very simple docs about user APIs | 2022-07-15 14:03:34 -07:00 |  |