JGithubPulls::deleteComment

Method to delete a comment on a pull request.

Signature

public function deleteComment(string
        $user,
            string
        $repo,
            integer
        $commentId )

Parameters

$user: The name of the owner of the GitHub repository.
$repo: The name of the GitHub repository.
$commentId: The id of the comment to delete.

Returns

void