W3C home > Mailing lists > Public > public-aria@w3.org > February 2016

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

From: Michiel Bijl <michiel@agosto.nl>
Date: Thu, 4 Feb 2016 10:35:14 +0100
Cc: Accessible Rich Internet Applications Working Group <public-aria@w3.org>
Message-Id: <6CBD4513-A184-4DE2-97AD-12685390F31E@agosto.nl>
To: Joseph Scheuhammer <clown@alum.mit.edu>
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 -
> 
> 


Received on Thursday, 4 February 2016 09:35:40 UTC

This archive was generated by hypermail 2.4.0 : Thursday, 24 March 2022 20:23:19 UTC