{
    "title": "Pull request",
    "description": "A pull requests to merge a commit from a 'head' that may be another branch in the same repository or a branch in a forked repository.",

    "type": "object",
    "additionalProperties": false,
    "properties": {
	"index": {
	    "description": "Unique identifier of the pull request.",
	    "type": "string"
	},
	"poster_id": {
	    "description": "Unique identifier of the user who authored the pull request.",
	    "type": "string"
	},
	"title": {
	    "description": "Short description displayed as the title.",
	    "type": "string"
	},
	"content": {
	    "description": "Long description.",
	    "type": "string"
	},
	"milestone": {
	    "description": "Unique identifier of the milestone.",
	    "type": "string"
	},
	"state": {
	    "description": "A 'closed' pull request will not see any activity in the future, otherwise it is 'open'.",
	    "enum": [
		"closed",
		"open"
	    ]
	},
	"is_locked": {
	    "description": "A locked pull request can only be modified by privileged users.",
	    "type": "boolean"
	},
	"created": {
	    "description": "Creation time.",
	    "type": "string",
	    "format": "date-time"
	},
	"updated": {
	    "description": "Last update time.",
	    "type": "string",
	    "format": "date-time"
	},
	"closed": {
	    "description": "The last time 'state' changed to 'closed'.",
	    "type": "string",
	    "format": "date-time"
	},
	"labels": {
	    "description": "List of labels unique identifiers.",
	    "type": "array",
	    "items": {
		"type": "string"
	    }
	},
	"reactions": {
	    "description": "List of reactions.",
	    "type": "array",
	    "items": {
		"$ref": "reaction.json"
	    }
	},
	"assignees": {
	    "description": "List of assignees.",
	    "type": "array",
	    "items": {
		"description": "Name of a user assigned to the issue.",
		"type": "string"
	    }
	},
	"merged": {
	    "description": "True if the pull request was merged.",
	    "type": "boolean"
	},
	"merged_time": {
	    "description": "The time when the pull request was merged.",
	    "type": "string",
	    "format": "date-time"
	},
	"merged_commit_sha": {
	    "description": "The SHA of the merge commit.",
	    "type": "string"
	},
	"head": {
	    "description": "The changes proposed in the pull request.",
	    "type": "object",
	    "items": {
		"$ref": "pullrequestbranch.json"
	    }
	},
	"base": {
	    "description": "The branch where the pull request changes in the head are to be merged.",
	    "type": "object",
	    "items": {
		"$ref": "pullrequestbranch.json"
	    }
	},
	"merged_by": {
	    "description": "Unique identifier of the user who merged the pull request.",
	    "type": "string"
	},
	"due": {
	    "description": "Due date.",
	    "type": "string",
	    "format": "date"
	},
	"allow_edit": {
	    "description": "True when the author of the pull request allows pushing new commits to its branch.",
	    "type": "boolean"
	}
    },
    "required": [
	"index",
	"poster_id",
	"title",
	"content",
	"state",
	"is_locked",
	"created",
	"updated",
	"merged",
	"head",
	"base"
    ],

    "$schema": "http://json-schema.org/draft-04/schema#",
    "$id": "https://code.forgejo.org/f3/f3-schemas/src/branch/main/pullrequest.json",
    "$$target": "pullrequest.json"
}