CESNET
WIP: Extension validation for the YANG module versioning work
This is a WIP PR. An early review would be appreciated, but I want to see if others can bang on the code a bit, too.
It seems you have understood the code perfectly and I see no major issues, just some minor ones. Not sure what additional changes you have in mind but I have way too much work at least until the IETF so I am not able to help. It also seems that the CI is broken but that is likely just some minor issue.
I think I licked the CI problem. Can you re-run the PR? And thanks for the quick look.
Yes, it works now, only some formatting issue left. I can fix that, if you want.
Should be all fixed. Give it another shot. I do want to give this some time to bake, though. I want more IETFers to look at it, and the YANG modules may rev prior to an RFC number being issued.