W3C home > Mailing lists > Public > public-test-infra@w3.org > April to June 2013

Re: Naming directories in web-platform-tests

From: Robin Berjon <robin@w3.org>
Date: Fri, 19 Apr 2013 10:50:16 +0200
Message-ID: <51710548.6070907@w3.org>
To: Tobie Langel <tobie@w3.org>
CC: Peter Linss <peter.linss@hp.com>, "Michael[tm] Smith" <mike@w3.org>, public-test-infra <public-test-infra@w3.org>
On 19/04/2013 10:44 , Tobie Langel wrote:
> So I ran a small scale experiment[1] and what happens is that current
> pull requests continue to be made against the original directory
> name, not the new one, and so merging the PR creates a new directory
> with the previous name.


> I suggest we still go ahead with this and either:
> 1) get folks to update their PRs, or 2) merge them as is and just mv
> the files to the new directory after the merge.

That works for me. In order to avoid problems, maybe whoever makes the 
renaming would have the kindness of going through the PRs to check? I'm 
happy to divvy up the work for this, e.g. by listing the name changes to 
be made in an Etherpad and going through them.

Robin Berjon - http://berjon.com/ - @robinberjon
Received on Friday, 19 April 2013 08:50:25 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:34:08 UTC