JGithubPulls::isMerged

Method to check if a pull request has been merged.

Signature

public function isMerged(string
        $user,
            string
        $repo,
            integer
        $pullId )

Parameters

$user: The name of the owner of the GitHub repository.
$repo: The name of the GitHub repository.
$pullId: The pull request number. The pull request number.

Returns

boolean: True if the pull request has been merged.