GitHub Copilot · Schema

PullRequestRepository

Pull request summary metrics for a specific repository.

AgentsArtificial IntelligenceCode GenerationCode ReviewCoding AgentsCustom InstructionsDeveloper ToolsExtensionsIDEMachine-LearningMCPMetricsProductivity

Properties

Name Type Description
name string Repository name.
total_engaged_users integer
models array
View JSON Schema on GitHub

JSON Schema

github-copilot-pull-request-repository-schema.json Raw ↑ 
{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "title": "PullRequestRepository",
  "type": "object",
  "description": "Pull request summary metrics for a specific repository.",
  "properties": {
    "name": {
      "type": "string",
      "description": "Repository name."
    },
    "total_engaged_users": {
      "type": "integer"
    },
    "models": {
      "type": "array"
    }
  }
}