fix: Dont filter bot comments when updating bot comment (#597)

This commit is contained in:
Brace Sproul 2025-07-29 14:37:31 -07:00 • committed by GitHub
parent 01a514b1fa
commit ac69e6bc96
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -355,14 +355,14 @@ export async function getIssueComments({
repo, repo,
issueNumber, issueNumber,
githubInstallationToken, githubInstallationToken,
filterBotComments = true, filterBotComments,
numRetries = 1, numRetries = 1,
}: { }: {
owner: string; owner: string;
repo: string; repo: string;
issueNumber: number; issueNumber: number;
githubInstallationToken: string; githubInstallationToken: string;
filterBotComments?: boolean; filterBotComments: boolean;
numRetries?: number; numRetries?: number;
}): Promise<GitHubIssueComment[] | null> { }): Promise<GitHubIssueComment[] | null> {
return withGitHubRetry( return withGitHubRetry(