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

Redirect dvcs.w3.org requests to GitHub?

From: Rick Byers <rbyers@chromium.org>
Date: Thu, 4 Jun 2015 15:36:09 -0400
Message-ID: <CAFUtAY87FQR690rfEU_9c79kUsmvRyptmU6APKyDY7+DY9j4sw@mail.gmail.com>
To: "public-pointer-events@w3.org" <public-pointer-events@w3.org>
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?

Received on Thursday, 4 June 2015 19:36:57 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 4 June 2015 19:36:58 UTC