How to use [github.repo.delete]
The reference page of github.repo.delete has its arguments, constraints and declaration.
Deletes a GitHub repository. The repository name is the node value. The owner argument is optional,
and defaults to the configured magic:git:github:username.
github.repo.delete:my-old-repo
github.repo.delete:my-old-repo
owner:my-org