W3C home > Mailing lists > Public > public-pointer-events@w3.org > April to June 2015

Re: Redirect dvcs.w3.org requests to GitHub?

From: Rick Byers <rbyers@chromium.org>
Date: Thu, 11 Jun 2015 00:08:55 -0400
Message-ID: <CAFUtAY844YOMNhiFCQpK-4Lf=ZxEgzmdxCSghA8-Te_jT3gEGA@mail.gmail.com>
To: Arthur Barstow <art.barstow@gmail.com>
Cc: "public-pointer-events@w3.org" <public-pointer-events@w3.org>
On Thu, Jun 4, 2015 at 4:19 PM, Arthur Barstow <art.barstow@gmail.com>

> On 6/4/15 3:36 PM, Rick Byers wrote:
>> It seems pretty confusing that
>> https://dvcs.w3.org/hg/pointerevents/raw-file/tip/pointerEvents.html
>> gives an editors draft with today's date and so appears to be newer than
>> our new official home at http://w3c.github.io/pointerevents/.
>> Can / should we get the old hg location to redirect to github, or at
>> least replace it with a "moved here" document? What do other specs do after
>> moving to github?
> All but a few of WebApps' Hg based specs have moved to github and after
> the migration the hg repo was configured to automatically redirect to
> github. I can see that this is done for pointereents, if there is consensus
> to do so (and my recommendation is to do the redirect).
> If anyone objects to the redirect, please speak up; otherwise, early next
> week I'll request the redirect (I believe it requires staff intervention).

Looks like this is redirecting now, but to
https://github.com/w3c/pointerevents.  We want it to go to the actual spec
at http://w3c.github.io/pointerevents, right?
Received on Thursday, 11 June 2015 04:09:43 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 11 June 2015 04:09:45 UTC