Github pages moving to github.io

[jaimeMF]

Since now *.github.com pages are redirected to *.github.io : https://github.com/blog/1452-new-github-pages-domain-github-io. I don't know if this affect the update system.

[rg3]

Thanks for noticing! I've changed rg3.github.com to rg3.github.io almost everywhere, except the .exe file that sits in master. Let me know if I've broken anything. BTW, the automatic redirects seem to work perfectly, but I think it's better to change the domain straight away.

[jaimeMF]

I don't use the built-in updater, but I suppose it shouldn't have problems with redirects, am I right?

[rg3]

I just checked and it seems to handle the redirect fine.

[jaimeMF]

Cool, thanks.