delete_timer

Delete a timer permanently. It cannot be restored and will not fire again.

Scope and access

  • User-scoped timers are private to the authenticated user.
  • Team-scoped timers can only be listed or managed by a team owner.
  • Repo-scoped timers can be listed and fetched by users with repo read access; creating, updating, or deleting one requires maintainer access.
  • A timer UUID is only reachable through its owning user, team, or repo scope.

Tool

delete_timer
Authenticated

Input

{
  "timer_uuid": "8f7a2ba9-8a67-4a56-a8e8-0fe9f26717f6",
  "team": "platform"
}

Result

{
  "deleted": true,
  "uuid": "8f7a2ba9-8a67-4a56-a8e8-0fe9f26717f6"
}