W3C home > Mailing lists > Public > public-w3process@w3.org > November 2018

Re: Preparing the Changes section

From: Florian Rivoal <florian@rivoal.net>
Date: Tue, 6 Nov 2018 01:14:29 +0100
Cc: W3C Process CG <public-w3process@w3.org>
Message-Id: <9F0EF579-177D-4205-B248-E11240ED12AF@rivoal.net>
To: Ralph Swick <swick@w3.org>
Thanks, that was very helpful. We now have an up to date changes section:



> On Oct 22, 2018, at 8:21, Ralph Swick <swick@w3.org> wrote:
> The commit comments with the published copy say that the published copy is current as of PR 159
> https://github.com/w3c/w3process/pull/159
> On 2018-10-22 01:25 AM, Charles 'chaals' (McCathie) Nevile wrote:
>> I don't recall the speifics, but I think there is a process where someone takes a snapshot from GH and then it ends up on the W3C site after a bit of manual post-processing. Ralph might be able to track the history in W3C's systems effectively enough to give you an answer, or may just know. (My guess is quite possibly both).
>> cheers
>> Chaals
>> On Sun, 21 Oct 2018 11:05:47 +0200, Florian Rivoal <florian@rivoal.net> wrote:
>>> Hi,
>>> I was planning to write/update the changes section for the Process, and wanted to look at a git log starting from the previous published version.
>>> However, I cannot find which revision in git corresponds to the process as published at https://www.w3.org/2018/Process-20180201/
>>> There are multiple branches in parallel, and no revision from around 2018-02-01 or earlier seems to match the content of the published process. Maybe my gitfu isn't very strong, but I'm starting to think that the process as published isn't actually in git. Or is it?
>>> I'd appreciate any pointer.
>>> —Florian
Received on Tuesday, 6 November 2018 00:14:53 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:51:49 UTC