GitHubPullRequestModel¶
- pydantic model safir.github.models.GitHubPullRequestModel¶
A Pydantic model for a GitHub Pull Request.
This is also the
pull_request
field inside theGitHubPullRequestEventModel
.https://docs.github.com/en/rest/pulls/pulls#get-a-pull-request
- Parameters:
data (
Any
)
Show JSON schema
{ "title": "GitHubPullRequestModel", "description": "A Pydantic model for a GitHub Pull Request.\n\nThis is also the ``pull_request`` field inside the\n`~safir.github.webhooks.GitHubPullRequestEventModel`.\n\nhttps://docs.github.com/en/rest/pulls/pulls#get-a-pull-request", "type": "object", "properties": { "html_url": { "description": "Web URL of the PR.", "format": "uri", "maxLength": 2083, "minLength": 1, "title": "Html Url", "type": "string" }, "number": { "description": "Pull request number.", "title": "Number", "type": "integer" }, "title": { "description": "Title of the PR.", "title": "Title", "type": "string" }, "state": { "allOf": [ { "$ref": "#/$defs/GitHubPullState" } ], "description": "Whether the PR is opened or closed." }, "draft": { "description": "True if the PR is a draft.", "title": "Draft", "type": "boolean" }, "merged": { "description": "True if the PR is merged.", "title": "Merged", "type": "boolean" }, "user": { "allOf": [ { "$ref": "#/$defs/GitHubUserModel" } ], "description": "The user that opened the PR." } }, "$defs": { "GitHubPullState": { "description": "The state of a GitHub pull request (PR).\n\nhttps://docs.github.com/en/rest/pulls/pulls#get-a-pull-request", "enum": [ "open", "closed" ], "title": "GitHubPullState", "type": "string" }, "GitHubUserModel": { "description": "A Pydantic model for the ``user`` field found in GitHub API resources.\n\nThis contains brief (public) info about a user.", "properties": { "login": { "description": "GitHub username.", "title": "Login name", "type": "string" }, "html_url": { "description": "Homepage for the user on GitHub.", "format": "uri", "maxLength": 2083, "minLength": 1, "title": "Profile URL", "type": "string" }, "url": { "description": "URL for the user's resource in the GitHub API.", "format": "uri", "maxLength": 2083, "minLength": 1, "title": "API URL", "type": "string" }, "avatar_url": { "description": "URL to the user's avatar.", "format": "uri", "maxLength": 2083, "minLength": 1, "title": "Avatar image URL", "type": "string" } }, "required": [ "login", "html_url", "url", "avatar_url" ], "title": "GitHubUserModel", "type": "object" } }, "required": [ "html_url", "number", "title", "state", "draft", "merged", "user" ] }
- Fields:
- field draft: bool [Required]¶
True if the PR is a draft.
- field html_url: HttpUrl [Required]¶
Web URL of the PR.
- Constraints:
max_length = 2083
allowed_schemes = [‘http’, ‘https’]
- field merged: bool [Required]¶
True if the PR is merged.
- field number: int [Required]¶
Pull request number.
- field state: GitHubPullState [Required]¶
Whether the PR is opened or closed.
- field title: str [Required]¶
Title of the PR.
- field user: GitHubUserModel [Required]¶
The user that opened the PR.