W3C home > Mailing lists > Public > spec-prod@w3.org > January to March 2014

Copying editors' drafts in W3C space

From: Philippe Le Hegaret <plh@w3.org>
Date: Tue, 14 Jan 2014 16:13:41 -0500
Message-ID: <1389734021.2092.15.camel@chacal>
To: spec-prod <spec-prod@w3.org>
So, one o the items we have on the publication pipeline wishlist is the
ability to automatically copy editors drafts on www.w3.org.

My guess would be that we would put them under /drafts/ or /editors/.

In order to facilitate the task of the script that would do this copy,
I'm wondering if requiring a manifest file would be acceptable. That
would avoid having to determine the dependencies between resources in
the document.

The logic would be something like:
- Try fetch the manifest
http://www.example.com/web-yoohoo-api/manifest.txt

- if that fails, simply fetch
 http://www.example.com/web-yoohoo-api/
 and declare victory

- if the manifest is retrieved, go through the entries one by one, fetch
them (including create subdirectories as needed), and declare victory.

Not sure how to approach the problem of keeping it up-to-date yet.
Ideally, the editor should have nothing to do and it's done
automatically for him, but I don't imagine yet our systems pulling all
the editors draft every minute. We might be able to listen to
notifications out of github however.

What do people think?

Philippe
Received on Tuesday, 14 January 2014 21:13:43 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:55:19 UTC