gitlab_get_user
Retrieve basic GitLab user profile details (name, username, avatar) by providing a specific user ID or exact username. Use this tool for tasks like identifying @mentions or verifying commit authors.
Instructions
Get basic profile information for a specific GitLab user by ID or username.
Returns essential user details like name, username, avatar, and public profile info. Use this tool when you have a specific user ID or exact username and need basic profile information.
Parameters:
- user_id: Numeric user ID (e.g., 12345)
- username: Username string (e.g., 'johndoe')
Use either user_id OR username, not both.
Examples:
- Get user profile for @mentions: get_user(username="johndoe")
- Look up user from commit author: get_user(user_id=12345)
- Display user info in applications
For searching users with partial information, use 'gitlab_search_user' instead. For comprehensive user activity and contributions, use user activity tools instead.
Input Schema
Name | Required | Description | Default |
---|---|---|---|
user_id | No | User ID (numeric) Type: integer Format: Numeric user ID Example: 12345 How to find: From user profile URL or API responses | |
username | No | GitLab username Type: string Format: Username without @ symbol Case: Case-sensitive Required: Yes Examples: - 'johndoe' (for @johndoe) - 'mary-smith' (for @mary-smith) - 'user123' (for @user123) Note: This is the username, not display name or email |