{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "#/components/schemas/repository_permission",
  "title": "Repository Permission",
  "type": "object",
  "description": "A user's permission for a given repository.",
  "properties": {
    "type": {
      "type": "string",
      "example": "example_value"
    },
    "permission": {
      "type": "string",
      "enum": [
        "read",
        "write",
        "admin",
        "none"
      ],
      "example": "read"
    },
    "user": {
      "$ref": "#/components/schemas/user"
    },
    "repository": {
      "$ref": "#/components/schemas/repository"
    }
  },
  "required": [
    "type"
  ],
  "additionalProperties": true
}