3 ms·

The fact that naming has been changed shouldn't break people's bookmarks, links from blogs, links from external documentation, search etc. You keep the site aro

The fact that naming has been changed shouldn't break people's bookmarks, links from blogs, links from external documentation, search etc. You keep the site around until the current version is truly and fully deprecated, and only then remove it, maybe. The site is back up though. Next step is to plaster banners on each page directing users to the nee docs.

yawaramin 6y ago
The redirects are all done directly. No banners needed.
- dmitriid 6y ago
  The redirects are done directly if github supports it. Going by the undeniable fact that bucklescript.github.io was unreachable when the repo was renamed, you will need banners.