Documentation Index
Fetch the complete documentation index at: /llms.txt
Use this file to discover all available pages before exploring further.
Ask whether a pull request has been merged. This endpoint has no body: GitHub answers 204 for merged and 404 for not, so this returns {merged: true} or raises. pulls_get reports the same thing in a readable field and is usually the better call.
from charter.packs import github
result = await github.pulls_check_merged.ainvoke({"owner": ..., "repo": ..., "pullNumber": ...})
repo, read:user.| Field | Type | Description |
|---|---|---|
owner * | string | The account owner of the repository. The name is not case sensitive. |
repo * | string | The name of the repository without the .git extension. The name is not case sensitive. |
pullNumber * | integer | The number that identifies the pull request. |
Was this page helpful?