delete-user
Remove a user from GitHub Enterprise by specifying the username. This tool integrates with the GitHub Enterprise MCP Server to streamline user management tasks.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| username | Yes | Username of the user to delete |
Input Schema (JSON Schema)
{
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"username": {
"description": "Username of the user to delete",
"type": "string"
}
},
"required": [
"username"
],
"type": "object"
}