Re: aria-ACTION-2010: See if it´s possible to set up redirects when github resources change location

This might be of interest: https://github.com/blog/1508-repository-redirects-are-here <https://github.com/blog/1508-repository-redirects-are-here>

—Michiel

> On 03 Feb 2016, at 19:50, Joseph Scheuhammer <clown@alum.mit.edu> wrote:
> 
> Michael,
> 
> There was a question during the meeting whether this is also an issue for "github.io" urls.  It is.
> 
> Currently, the github.io url for dpub roles is:
> http://w3c.github.io/aria/aria/dpub.html
> 
> After the re-org, it will be:
> http://w3c.github.io/dpub-aria/dpub-aria.html
> 
> 
> -- 
> ;;;;joseph.
> 
> 'Die Wahrheit ist Irgendwo da Draußen. Wieder.'
>                 - C. Carter -
> 
>