openapi_github::apis::pulls_api

Function pulls_slash_check_if_merged

Source 
pub async fn pulls_slash_check_if_merged(
    configuration: &Configuration,
    owner: &str,
    repo: &str,
    pull_number: i32,
) -> Result<(), Error<PullsSlashCheckIfMergedError>>
Expand 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.