← registry · tool definition
GitHub Copilot
toolpublished by github · Inline completion + chat
Reference it like this
Drop this into your Latestfile, or let the builder write it for you.
tool "github-copilot" {
from = "registry:github/copilot"
provider = "github"
}The URI
registry:github/copilot — a registry: URI with the host omitted, so it defaults to latest.dev. Parsers are not required to resolve it; an unreachable registry is not a validation error.
Is this wrong?
Vendors should own these definitions. This one is seeded, so if the details are off or the vendor fields should be different, say so.