- From: Domenic Denicola <notifications@github.com>
- Date: Tue, 19 Oct 2021 13:30:15 -0700
- To: whatwg/streams <streams@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Tuesday, 19 October 2021 20:30:27 UTC
Oh, this is frustrating! Strange that we haven't run into it before. I think the best thing to do is to manually update https://github.com/web-platform-tests/wpt/blob/master/interfaces/streams.idl (even though it says "generated content do not edit") as part of WPT updates. We should submit and merge a second PR there. Then we can roll the WPT here and do everything as normal. Later, the bot will come along and overwrite our changes, but it should be a no-op since we're just making the changes ahead of the bot. I will double-check with WPT infra folks that this sounds OK, but let's assume it's the way to go if you don't hear back from me soon. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/whatwg/streams/pull/1177#issuecomment-947081331
Received on Tuesday, 19 October 2021 20:30:27 UTC