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

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

From: Arthur Barstow <art.barstow@gmail.com>
Date: Thu, 11 Jun 2015 07:52:31 -0400
Message-ID: <5579767F.60109@gmail.com>
To: Rick Byers <rbyers@chromium.org>
CC: "public-pointer-events@w3.org" <public-pointer-events@w3.org>
On 6/11/15 12:08 AM, Rick Byers wrote:
> On Thu, Jun 4, 2015 at 4:19 PM, Arthur Barstow <art.barstow@gmail.com 
> <mailto:art.barstow@gmail.com>> wrote:
>     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?

The Hg repo has now been configured such that the old ED 
<https://dvcs.w3.org/hg/pointerevents/raw-file/tip/pointerEvents.html > 
now redirects to the new ED i.e. <https://w3c.github.io/pointerevents/>.
Received on Thursday, 11 June 2015 11:52:57 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 11 June 2015 11:52:58 UTC