From af6e7215ce0e0d243cb34a85174af65ab4177f47 Mon Sep 17 00:00:00 2001
From: fisker <lionkay@gmail.com>
Date: Thu, 27 Feb 2025 01:36:39 +0800
Subject: [PATCH] Add `playground-redirect.html` back to avoid HTTP 404

---
 website/static/playground-redirect.html | 36 +++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 website/static/playground-redirect.html

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 @@
+<!doctype html>
+<html>
+  <head>
+    <meta charset="utf-8" />
+    <title>Redirecting…</title>
+  </head>
+  <body>
+    <h1>Redirecting…</h1>
+    <p>
+      Redirecting you to the appropriate playground. If the redirect doesn’t
+      work, <a href="javascript:history.back()">go back to the PR</a> and click
+      the appropriate link:<br />
+      <img
+        src="https://cdn.netlify.com/f0b93f3003d5669924b6e73540bbfe07bc3d8d95/34c5d/img/blog/deploy-preview-workflow.gif"
+        alt="click on the link next to 'deploy/netlify'"
+      />
+    </p>
+    <script>
+      const match =
+        /^https:\/\/github\.com\/prettier\/prettier\/pull\/(\d+)/.exec(
+          document.referrer,
+        );
+      if (match != null) {
+        const [, /* url */ pr] = match;
+        location.replace(
+          `https://deploy-preview-${pr}--prettier.netlify.app/playground`,
+        );
+      } else {
+        const el = document.createElement("p");
+        el.textContent = `The referrer URL (${document.referrer}) was not recognized. Sorry :(`;
+        document.body.appendChild(el);
+      }
+    </script>
+  </body>
+</html>
+<!-- TODO: Remove this once PRs not linked to this page -->