search

goblint / GobWeb

Website for the Static Analyzer Goblint
https://goblint.in.tum.de
3 stars 0 forks source link

Redirect old webpage to new one #16

Closed michael-schwarz closed 3 years ago

michael-schwarz commented 3 years ago

https://goblint.github.io/ still shows the old one in all of its glory. I guess we would want a 301 Moved Permanently redirect?

sim642 commented 3 years ago

It's not possible to control the HTTP status codes on GitHub Pages, so the only way is to do a redirect from a basic HTML page.

I'll unarchive its repository temporarily, add such HTML page and maybe rearchive once it works.

sim642 commented 3 years ago

Done! GitHub Pages has some aggressive caching, but a force refresh will show the redirect working if you've visited the page before. I added the redirect HTML onto the gh-pages branch to preserve the original index.html as it was.