- From: Domenic Denicola <notifications@github.com>
- Date: Thu, 01 Jul 2021 10:08:02 -0700
- To: whatwg/streams <streams@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 1 July 2021 17:08:15 UTC
This level of policy is up to the editors. I totally support doing so. It becomes a bit tricky though because our PR template is standardized and generated through https://github.com/whatwg/spec-factory . So we could update it now but it'd get overridden next time any updates are deployed by spec-factory. whatwg/url has a similar issue: https://github.com/whatwg/url/pull/525 /cc @annevk @TimothyGu So ideally we'd solve this at the spec-factory level. Some ideas: - Fix https://github.com/whatwg/spec-factory/issues/23 and then use conditionals in the PR template - Hard-code some logic in https://github.com/whatwg/spec-factory/blob/main/factory.py, maybe driven by https://github.com/whatwg/spec-factory/blob/main/factory.json, for url and streams -- 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/issues/1141#issuecomment-872412546
Received on Thursday, 1 July 2021 17:08:15 UTC