github_api_insights_get_user_stats
Retrieve GitHub API usage statistics for a specific user in an organization, filtered by date range and sorted by request counts or rate limits.
Instructions
Get user stats
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| org | Yes | org | |
| user_id | Yes | user_id | |
| min_timestamp | Yes | The minimum timestamp to query for stats. This is a timestamp in [ISO 8601](https://en.wikipedia.org/wiki/ISO_8601) format: `YYYY-MM-DDTHH:MM:SSZ`. | |
| max_timestamp | No | The maximum timestamp to query for stats. Defaults to the time 30 days ago. This is a timestamp in [ISO 8601](https://en.wikipedia.org/wiki/ISO_8601) format: `YYYY-MM-DDTHH:MM:SSZ`. | |
| page | No | The page number of the results to fetch. For more information, see "[Using pagination in the REST API](https://docs.github.com/rest/using-the-rest-api/using-pagination-in-the-rest-api)." | |
| per_page | No | The number of results per page (max 100). For more information, see "[Using pagination in the REST API](https://docs.github.com/rest/using-the-rest-api/using-pagination-in-the-rest-api)." | |
| direction | No | The direction to sort the results by. | |
| sort | No | The property to sort the results by. | |
| actor_name_substring | No | Providing a substring will filter results where the actor name contains the substring. This is a case-insensitive search. |