github_disconnect
End an active GitHub session by name, defaulting to 'default'. Disconnect securely to stop ongoing operations or reset the current connection state.
Instructions
Disconnect a GitHub session.
Args: session_name: Name of the session to disconnect (default: 'default')
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| session_name | No | default |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |