diff --git a/website/static/playground-redirect.html b/website/static/playground-redirect.html new file mode 100644 index 000000000..f4f447a2c --- /dev/null +++ b/website/static/playground-redirect.html @@ -0,0 +1,36 @@ + + +
+ +
+ Redirecting you to the appropriate playground. If the redirect doesn’t
+ work, go back to the PR and click
+ the appropriate link:
+
+