delete_card
Remove a card from a GitHub project by specifying its unique identifier. Simplifies project management by enabling quick deletion of obsolete or unnecessary cards.
Instructions
Delete a card from a project
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| card_id | Yes | The unique identifier of the card |
Input Schema (JSON Schema)
{
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"card_id": {
"description": "The unique identifier of the card",
"type": "number"
}
},
"required": [
"card_id"
],
"type": "object"
}