Function deletePrComment

scripts/utils/github.ts:236–241

(commentId: number)

 * Delete a comment on a PR
 */
export async function deletePrComment(commentId: number) {
  await request("DELETE /repos/{owner}/{repo}/issues/comments/{comment_id}", {
    ...requestOptions(),
    comment_id: commentId,
  });
}

/**
 * Add labels to a PR (or issue)