37 lines
1.1 KiB
HTML
37 lines
1.1 KiB
HTML
<!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 -->
|