- From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
- Date: Mon, 02 Sep 2024 13:57:13 +0000
- To: public-webrtc@w3.org
dontcallmedom has just submitted a new pull request for https://github.com/w3c/webrtc-pc: == Improve amendment management == This offers a significantly improved infrastructure to manage the amendments to the WebRTC Recommendation. In particular: * the diff that are displayed for amended sections are now granular, rather than the [block-by-block diff used in the previous system](https://www.w3.org/TR/webrtc/#rtcconfiguration-dictionary) * errors in marking up amendments now make use of the ReSpec error mechanism, which should make it easier to identify them, including in the CI system * the markup needed to indicate a complete new section is much simpler (no longer needed to add in `base-rec.html`, and only need to reference the specific section being added) - this follows from discussion with @Orphis in a recent instance In addition, this fixes a number of amendments that had not been properly classified. https://github.com/speced/respec/pull/4786 will be needed to ensure the resulting generated markup is valid. See https://github.com/w3c/webrtc-pc/pull/2995 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 2 September 2024 13:57:14 UTC