- From: Anne van Kesteren <notifications@github.com>
- Date: Tue, 27 Sep 2022 23:58:25 -0700
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 28 September 2022 06:58:36 UTC
I think we have two options: 1. We merge it into this repository. @domenic seems to think that might be feasible. This might lose some theoretical advantage with respect to PR Preview, but we're not using that feature currently. Maybe we should? 2. We move the repository into the WHATWG organization and maintain it similar to html-build. Other ideas? -- Reply to this email directly or view it on GitHub: https://github.com/whatwg/webidl/issues/1203 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/webidl/issues/1203@github.com>
Received on Wednesday, 28 September 2022 06:58:36 UTC