GitHub
manage_repository_notification_subscription
Manage a repository notification subscription: ignore, watch, or delete repository notifications subscription for the provided repository.
Remote github
Other tools also called manage_repository_notification_subscription?
See providers with this name
Input Schema
{
"type": "object",
"properties": {
"repo": {
"type": "string",
"description": "The name of the repository."
},
"owner": {
"type": "string",
"description": "The account owner of the repository."
},
"action": {
"enum": [
"ignore",
"watch",
"delete"
],
"type": "string",
"description": "Action to perform: ignore, watch, or delete the repository notification subscription."
}
}
}