Skip to content

Conversation

@cgundy
Copy link
Contributor

@cgundy cgundy commented Jan 29, 2026

Instead of adding a new comment we update the existing comment to avoid PR clutter.

(Tested on this PR: #8654)

@github-actions github-actions bot added the feat label Jan 29, 2026
@cgundy cgundy closed this Feb 1, 2026
@cgundy cgundy reopened this Feb 1, 2026
@cgundy cgundy marked this pull request as ready for review February 3, 2026 10:09
@cgundy cgundy requested a review from a team as a code owner February 3, 2026 10:09
@github-actions github-actions bot added the @idx label Feb 3, 2026
@cgundy cgundy enabled auto-merge February 3, 2026 10:18
@cgundy cgundy added this pull request to the merge queue Feb 3, 2026
Merged via the queue into master with commit 01783d5 Feb 3, 2026
86 checks passed
@cgundy cgundy deleted the update-bot-comment branch February 3, 2026 10:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants