search

typelevel / general

Repository for general Typelevel information, activity and issues
19 stars 8 forks source link

All the sites are 404ing #117

Closed armanbilge closed 2 years ago

armanbilge commented 2 years ago

https://typelevel.org/cats https://typelevel.org/cats-effect/ https://typelevel.org/cats-collections/ https://typelevel.org/spire/

etc.

rossabaker commented 2 years ago

I merged to typelevel.org last night. That would be a prime suspect, but it should have been an innocuous change.

armanbilge commented 2 years ago

Seems to be back online, whatever you did :) thanks!

rossabaker commented 2 years ago

I renamed the repo to typelevel.org because typelevel.github.com is a deprecated name that nothing publishes to and describes nothing, but apparently that is a ✨ magic ✨ repo name. I think typelevel.github.io would have worked as well, but I ain't touching it again.