Tool plugin · listing tai42/tools-githubInstall
Permissions
Provides
create_github_webhook
Tool — Create a repository webhook and return its id, url, events, and active flag.
list_github_webhooks
Tool — List a repository’s webhooks, following Link-header pagination to exhaustion.
delete_github_webhook
Tool — Delete a repository webhook by id.
Three tools that provision a GitHub repository’s webhooks over the REST API: create a
webhook, list a repository’s webhooks, and delete one. They are the provider-side setup
counterpart to a runtime webhook-signature verifier — the tools register the hook a
verifier later authenticates.
Configuration
The token needs the scope GitHub requires to administer repository webhooks (the
admin:repo_hook scope on a classic token, or repository Webhooks read/write on a
fine-grained token). A missing or empty token raises loudly (fails closed) — never a
silently-unauthenticated request.
create_github_webhook
Creates a repository webhook onowner/name and returns its id, delivery url, events and
active flag. GitHub does not mint the signing secret: the caller supplies it, GitHub keys
X-Hub-Signature-256 with it, and the caller keeps its own copy — GitHub never returns
it and the tool never echoes it.
list_github_webhooks
Lists every webhook onowner/name, following the Link response header to exhaustion,
and returns each hook’s id, delivery url, events and active flag. GitHub never returns a
hook’s secret.
delete_github_webhook
Deletes the webhookhook_id from owner/name. Succeeds only on GitHub’s 204; an
unknown hook (404) or any other non-2xx raises, never a silent success.