Redirect to the now-merged spec

domenic · domenic · commit 1cb2da0e26da · 2023-06-28T11:08:22.000+09:00
diff --git a/spec.html b/spec.html
@@ -1,10 +1,6 @@
 <!doctype html>
 <html lang="en">
 <meta charset="utf-8">
-<link rel="canonical" href="https://github.com/whatwg/html/pull/8502">
-
-<h1>The navigation API is moving to the HTML Standard!</h1>
-
-<p>The best specification for the navigation API currently lives as a draft pull request against the HTML Standard: <a href="https://github.com/whatwg/html/pull/8502">whatwg/html#8502</a>. You can also view a <a href="https://whatpr.org/html/8502/nav-history-apis.html#navigation-api">PR preview</a>. Compared to previous versions that lived at this URL, a few bugs were fixed, several terms were renamed, and many monkeypatches were moved to the appropriate location.</p>
-
-<p>Once that PR is merged, this URL will redirect to the final specification.</p>
+<title>The navigation API has moved to the HTML Standard</title>
+<link rel="canonical" href="https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigation-api">
+<meta http-equiv="refresh" content="0; url=https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigation-api">
