Skip to content

[pull] master from NLnetLabs:master#76

Merged
pull[bot] merged 4 commits intowebfutureiorepo:masterfrom
NLnetLabs:master
Mar 6, 2026
Merged

[pull] master from NLnetLabs:master#76
pull[bot] merged 4 commits intowebfutureiorepo:masterfrom
NLnetLabs:master

Conversation

@pull
Copy link

@pull pull bot commented Mar 6, 2026

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

tobbez and others added 4 commits March 6, 2026 16:33
The PR that added logging of old and new serials (#112) changed
indentation to spaces. Change it back to tabs to match the rest of the
code base.
Make it clear which serial is the old ignored one (received from the
remote server) and which is the local, newer one.

You shouldn't have to read the source code to definitely tell which is
which.

While you could infer which serial is which by checking which one is
larger, it's not always easy to tell at a glance, so it's better to
spell it out explicitly in the log message.
- Merge #477: Improve ignored old serial log message.
@pull pull bot locked and limited conversation to collaborators Mar 6, 2026
@pull pull bot added the ⤵️ pull label Mar 6, 2026
@pull pull bot merged commit eb1f335 into webfutureiorepo:master Mar 6, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants