3 ms·
The redirects are all done directly. No banners needed.
by yawaramin 6y ago
The redirects are all done directly. No banners needed.
- dmitriid 6y agoThe 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.