github_api_insights_get_summary_stats_by_user
Retrieve summary statistics for a specific GitHub user within an organization over a specified time period. Use this tool to analyze user contributions.
Instructions
Get summary stats by user
Input 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`. |