- From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
- Date: Wed, 12 Oct 2022 08:41:46 +0000
- To: public-webrtc-logs@w3.org
The following commits were just pushed by dontcallmedom to https://github.com/w3c/webrtc-pc: * Set up CI to detect undocumented substantive amendments to Recommendation Help ensure the infrastructure set up in #2713 is systematically used by Dominique Hazael-Massieux https://github.com/w3c/webrtc-pc/commit/ce541a14f0d5db4caa387865dc2f70b7db8a75a9 * Merge pull request #2784 from w3c/track-amendments Set up CI to detect undocumented substantive amendments to Recommendation by Dominique Hazael-Massieux https://github.com/w3c/webrtc-pc/commit/eb8d227fd1cc2f4000f49928c649dc362ebc7c25 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 12 October 2022 08:41:48 UTC