search

whatwg / misc-server

Miscellaneous resources for the servers hosting *.whatwg.org domains
Other
23 stars 16 forks source link

Redirect whatwg.org/mailing-list to lists.whatwg.org #126

Closed foolip closed 4 years ago

foolip commented 4 years ago

Goes with https://github.com/whatwg/whatwg.org/pull/301.

annevk commented 4 years ago

Given that https://lists.whatwg.org/ currently redirects, I think redirecting back would be helpful.

foolip commented 4 years ago

I've implemented @domenic's suggestion in https://github.com/whatwg/whatwg.org/pull/301?#issuecomment-597248671. Deploying now.