chore: Improve log output #553

Closed
wetneb wants to merge 2 commits from better-logging into main
Owner
  • A lot of logging statements detailing the construction of the merged tree were very rarely useful in debugging. Switching them to the trace level means we'd still be able to activate them if needed, but they won't be shown anymore in verbose mode (as that mode is set to the debug level).
  • For the purposes of detecting which type of merge was returned (in benchmarks, #537) I have added a corresponding log line.
* A lot of logging statements detailing the construction of the merged tree were very rarely useful in debugging. Switching them to the trace level means we'd still be able to activate them if needed, but they won't be shown anymore in verbose mode (as that mode is set to the debug level). * For the purposes of detecting which type of merge was returned (in benchmarks, #537) I have added a corresponding log line.
ada4a approved these changes 2025-08-02 14:59:37 +02:00
Author
Owner

This was merged but there was a Codeberg glitch which left the PR open. So I'm closing it manually. (See forgejo/forgejo#3518)

This was merged but there was a Codeberg glitch which left the PR open. So I'm closing it manually. (See https://codeberg.org/forgejo/forgejo/issues/3518)
wetneb closed this pull request 2025-08-02 18:35:27 +02:00
mathstuf referenced this pull request from a commit 2025-08-13 05:58:40 +02:00
All checks were successful
/ test (pull_request) Successful in 44s

Pull request closed

Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: mergiraf/mergiraf#553
No description provided.