- From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
- Date: Thu, 13 Oct 2022 15:02:06 +0000
- To: public-webrtc-logs@w3.org
merges aren't prevented by CI failure in our current setup - the merge was done here despite such [a failure](https://github.com/w3c/webrtc-pc/actions/runs/3242493394/jobs/5315829728) :) Could you prepare a separate PR to update amendments.json? -- GitHub Notification of comment by dontcallmedom Please view or discuss this issue at https://github.com/w3c/webrtc-pc/pull/2758#issuecomment-1277757978 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 13 October 2022 15:02:08 UTC