Adding upstream version 3.10.8.

Signed-off-by: Daniel Baumann <daniel@debian.org>

f3/schemas/pullrequest.json

@@ -0,0 +1,134 @@
+{
+    "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"
+}