- From: Michiel Bijl <michiel@agosto.nl>
- Date: Thu, 4 Feb 2016 10:37:47 +0100
- To: Joseph Scheuhammer <clown@alum.mit.edu>
- Cc: Accessible Rich Internet Applications Working Group <public-aria@w3.org>
Received on Thursday, 4 February 2016 09:38:14 UTC
Whoops, overlooked this: “GitHub Pages sites are not automatically redirected when their repositories are renamed at this time.” Could we keep the ARIA repo and just add files that redirect to the right resource? Example content of dpub.html: <meta http-equiv="refresh" content="0; URL='http://w3c.github.io/dpub-aria/dpub-aria.html'" /> —Michiel > On 04 Feb 2016, at 10:35, Michiel Bijl <michiel@agosto.nl> wrote: > > 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 <mailto: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 <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:38:14 UTC