Redirect dvcs.w3.org requests to GitHub?

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?

Thanks,
  Rick

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