Re: [whatwg/dom] [infra] Integrating generation of W3C-ready review drafts into build pipeline (#832) from Domenic Denicola on 2020-02-10 (public-webapps-github@w3.org from February 2020)

From: Domenic Denicola <notifications@github.com>
Date: Mon, 10 Feb 2020 10:10:18 -0800
To: whatwg/dom <dom@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <whatwg/dom/issues/832/584256236@github.com>

So here's my proposal for how we do this, largely based on my reading of what would make @annevk the most happy:

- Download https://dom.spec.whatwg.org/review-drafts/2019-06/ into a .html file that we check into the repo, as `review-drafts/2019-06.html`. Update the deploy script to prioritize .html files over .bs files when building/deploying review drafts. (1 commit)
- Use the scripts to modify `review-drafts/2019-06.html` to become a CR and send a pull request with the modifications. We can review and nitpick the diff as necessary. This lands as one commit, and the deploy script from the previous bullet auto-deploys it over our current RD.
- When the RD goes from CR to REC, repeat the previous bullet.

-- 
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/dom/issues/832#issuecomment-584256236

Received on Monday, 10 February 2020 18:10:20 UTC