Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upGitHub is where the world builds software
Millions of developers and companies build, ship, and maintain their software on GitHub — the largest and most advanced development platform in the world.
redirect to current homepage via JS #324
Conversation
We can't figure out how to configure the server to redirect, so just do it via JS for now.
| @@ -1,5 +1,9 @@ | |||
| {{+bindTo:partials.standard_devtools_article canonical:strings.canonicalDevToolsOverview}} | |||
|
|
|||
| <script> | |||
paulirish
Apr 30, 2018
Member
sg.
can you add this right above it?
<meta name="robots" content="noindex">
sg.
can you add this right above it?
<meta name="robots" content="noindex">|
@paulirish done |
3951217
into
GoogleChrome:master
|
Argh, looks like the auto-deploy system is borked The previous commit from a while back that changes the first line from "(DevTools for short)" to "(DevTools)" isn't published, either. |
The honorable @paulirish WDYT?
It's worthwhile to get the redirect in place, yet not worthwhile enough to dig around the old infrastructure.