GitHub
manage_notification_subscription
Manage a notification subscription: ignore, watch, or delete a notification thread subscription.
Remote github
Other tools also called manage_notification_subscription?
See providers with this name
Input Schema
{
"type": "object",
"properties": {
"action": {
"enum": [
"ignore",
"watch",
"delete"
],
"type": "string",
"description": "Action to perform: ignore, watch, or delete the notification subscription."
},
"notificationID": {
"type": "string",
"description": "The ID of the notification thread."
}
}
}