get_user
Retrieve Mantis user details by inputting a username, facilitating quick access to user information within the Mantis Bug Tracker system.
Instructions
根據用戶名稱查詢 Mantis 用戶
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| username | Yes | 用戶名稱 |
Input Schema (JSON Schema)
{
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"username": {
"description": "用戶名稱",
"type": "string"
}
},
"required": [
"username"
],
"type": "object"
}