get_user
Retrieve detailed information for a specific GitLab user by ID. Use when you have a user ID and need their profile data; returns an error for invalid permissions or missing resources.
Instructions
Get user details by ID. Use this for a known resource or result; choose the corresponding list or search tool when you need to discover multiple resources. It is read-only and does not mutate GitLab data; missing resources, invalid identifiers, insufficient permission, and rate limits are returned as errors. When project_id or group_id is accepted, provide the numeric ID or complete URL-encoded path described by the schema; use required identifiers and pagination fields exactly as documented.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| user_id | Yes | The ID of the user | |
| jmespath | No | Optional JMESPath expression filtering the JSON result before return. |