{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "#/components/schemas/pullRequest400ErrorDuplicate",
  "title": "Pull Request Already Exists",
  "type": "object",
  "properties": {
    "detail": {
      "type": "string",
      "description": "Details about the occurrence of the error.",
      "example": "A pull request for this source and destination already exists."
    },
    "status": {
      "type": "number",
      "format": "http-status-code",
      "description": "The error's HTTP status code.",
      "example": 400
    },
    "title": {
      "type": "string",
      "description": "A short summary of the error.",
      "example": "Duplicate pull request"
    },
    "type": {
      "type": "string",
      "format": "uri",
      "description": "The error type.",
      "example": "https://api.postman.com/problems/bad-request"
    }
  }
}