GET /repos/{owner}/{repo}/pulls/{pull_number}/merge

github.com:github-rest-api

Summary: Check if a pull request has been merged
Operation ID: pulls/check-if-merged
Auth: bearer_token
Description

Checks if a pull request has been merged into the base branch. The HTTP status of the response indicates whether or not the pull request has been merged; the response body is empty.

Parameters (3)

owner (string, path, required)

The account owner of the repository. The name is not case sensitive.

pull_number (integer, path, required)

The number that identifies the pull request.

repo (string, path, required)

The name of the repository without the `.git` extension. The name is not case sensitive.

No probe data for this endpoint yet.