Skip to content

Dont log GitHub PR fetching errors to the Command log#5600

Merged
stefanhaller merged 2 commits into
masterfrom
dont-log-github-pr-errors-to-commands-log
May 10, 2026
Merged

Dont log GitHub PR fetching errors to the Command log#5600
stefanhaller merged 2 commits into
masterfrom
dont-log-github-pr-errors-to-commands-log

Conversation

@stefanhaller
Copy link
Copy Markdown
Collaborator

In the Command log we only want to see errors for user-initiated actions, not from background activity.

…and Log

In the Command Log we only want to see errors for user-initiated actions, not
from background activity.
@stefanhaller stefanhaller added the bug Something isn't working label May 10, 2026
@stefanhaller stefanhaller enabled auto-merge May 10, 2026 13:47
@stefanhaller stefanhaller merged commit 353e3a1 into master May 10, 2026
14 checks passed
@stefanhaller stefanhaller deleted the dont-log-github-pr-errors-to-commands-log branch May 10, 2026 13:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant