Skip to content

[pull] main from ietf-tools:main - #219

Merged
pull[bot] merged 2 commits into
MarcelRaschke:mainfrom
ietf-tools:main
Sep 1, 2026
Merged

[pull] main from ietf-tools:main#219
pull[bot] merged 2 commits into
MarcelRaschke:mainfrom
ietf-tools:main

Conversation

@pull

@pull pull Bot commented Sep 1, 2026

Copy link
Copy Markdown

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 : )

rjsparks and others added 2 commits September 1, 2026 13:44
* feat: add idnits3 to draft submission checks

* fix: move idnits3 install out of the base image

* fix: waffle back to pinning idnits3

* chore: remove dead code

* chore: ruff formatting

* fix: use f-string when building __str__

* fix: guard against message being None
* fix: sanitize even more xml-unfriendly chars

* test: fix/improve serializer test
@pull pull Bot locked and limited conversation to collaborators Sep 1, 2026
@pull pull Bot added the ⤵️ pull label Sep 1, 2026
@pull
pull Bot merged commit 7933338 into MarcelRaschke:main Sep 1, 2026
1 of 2 checks passed
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