- From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
- Date: Thu, 24 Sep 2020 17:15:04 +0000
- To: public-webrtc-logs@w3.org
The following commits were just pushed by dontcallmedom to https://github.com/w3c/mediacapture-main: * Set up repo for auto-publication and automatic respec upgrade Based on similar set up in https://github.com/w3c/webrtc-pc/ by Dominique Hazael-Massieux https://github.com/w3c/mediacapture-main/commit/9987d3d0def2bb591a59200a6aa45787fa3b47ce * Remove no longer needed build files by Dominique Hazael-Massieux https://github.com/w3c/mediacapture-main/commit/c25ef2b02c4686f08e30c241ff4f2c18938bc719 * Workaround bug in respec markup generation cf https://github.com/w3c/respec/issues/3136 by Dominique Hazael-Massieux https://github.com/w3c/mediacapture-main/commit/0b855a326f1be65285e7d66fa0fad5c1b154b4b0 * Fix name of workflow by Dominique Hazael-Massieux https://github.com/w3c/mediacapture-main/commit/43f649714ace90fb9aded35309fd9a4d7852c0ad * Merge pull request #726 from w3c/infra Set up repo for auto-publication and automatic respec upgrade by Dominique Hazael-Massieux https://github.com/w3c/mediacapture-main/commit/583b8d6f33d8cd62f7c6e1418b96330fbfab73c0 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 24 September 2020 17:15:05 UTC