Martin Thomson

I've left this sort of linting to other tools. The Makefile for the QUIC drafts [adds a lint](https://github.com/quicwg/base-drafts/blob/7fbcdb0e7c66bbe9193a96cd21519ebd7a02644a/Makefile#L24) that looks for line length, for instance. To that, I would use...

Of note here is a new [option for people who want more tools in CI images](https://github.com/martinthomson/i-d-template/blob/main/doc/LINTING.md#using-the-mega-image-in-ci). pyang is probably small enough to include in the core image; but if it...

@mcr, the image I'm using is just 3 days old (as of your comment), so if pyang was updated in the intervening time to include support for that argument, that's...

https://github.com/martinthomson/i-d-template/runs/5401518893?check_suite_focus=true#step:7:387 shows that pyang 2.5.2 was installed. So it's not that. The specific message is this: ``` sed -e 's/YYYY-MM-DD/'2021-07-04'/g' ietf-voucher.yang | pyang -p /github/home/.local/share/yang/modules -f --keep-comments >yang/[email protected] unsupported format...

Indeed. The trick being to provide a useful summary of what happened without overdoing it. For building drafts, it seems like we might report on the number of drafts that...

Here is what I have so far. I need to build out the upload pieces, but this is the main event: ## Build Failed ✅ draft-ietf-quic-http ✅ draft-ietf-quic-qpack ✅ rfc8999...

Definitely! That is essentially the same tool, but actively maintained. One fewer bespoke installation step is also good.

I already did this, but forgot to validate it. Fixed now.

Hmm, I really like condensed fonts for headings. Aside from a personal preference for condensed fonts, long headings are very common in drafts and RFCs and a narrower rendering helps...

I'm looking at https://anr-bmbf-pivot.github.io/draft-dns-over-coap/ and not seeing any dead links. The code that Mike points at finds directories that exist on the gh-pages branch, but don't have matching branches. It...