# Check if a pull request has been merged

From **GitHub v3 REST API**.

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

Check if a pull request has been merged

## Parameters

### `owner`

- Location: path
- Required: true
- Type: `string`

### `repo`

- Location: path
- Required: true
- Type: `string`

### `pull_number`

- Location: path
- Required: true
- Type: `integer`

## Responses

### `204`

Response if pull request has been merged

### `404`

Not Found if pull request has not been merged

## Request examples

### cURL

```shell
curl --request GET \
  --url {protocol}://{hostname}/api/v3/repos/{owner}/{repo}/pulls/{pull_number}/merge
```