Skip to content

chore(pullsync): remove uninformative logline#5398

Merged
acud merged 1 commit intomasterfrom
remove-batch-timer-log
Mar 13, 2026
Merged

chore(pullsync): remove uninformative logline#5398
acud merged 1 commit intomasterfrom
remove-batch-timer-log

Conversation

@acud
Copy link
Contributor

@acud acud commented Mar 13, 2026

Removing this log-line that is not very informative.

@acud acud merged commit 5231811 into master Mar 13, 2026
17 checks passed
@acud acud deleted the remove-batch-timer-log branch March 13, 2026 17:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants