IssuePullRequest

[Source]

Pull request metadata present on issues that are actually pull requests.

When listing issues via the GitHub REST API, pull requests are included in the results. Each pull request has a pull_request sub-object containing URLs and merge status. This class captures that sub-object, allowing callers to both distinguish PRs from true issues and access PR-specific URLs.

class val IssuePullRequest

Constructors

create

[Source]

new val create(
  url': String val,
  html_url': String val,
  diff_url': String val,
  patch_url': String val,
  merged_at': (String val | None val))
: IssuePullRequest val^

Parameters

• url': String val
• html_url': String val
• diff_url': String val
• patch_url': String val
• merged_at': (String val | None val)

Returns

• IssuePullRequest val^

---

Public fields

let url: String val

[Source]

---

let html_url: String val

[Source]

---

let diff_url: String val

[Source]

---

let patch_url: String val

[Source]

---

let merged_at: (String val | None val)

[Source]

---