- From: Arthur Barstow <art.barstow@gmail.com>
- Date: Thu, 11 Jun 2015 07:52:31 -0400
- 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