Redirect to the now-merged spec

WICG · Jun 28, 2023 · 9768159 · 9768159
1 parent a192047
commit 9768159
Showing 1 changed file with 3 additions and 7 deletions.
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 name="refresh" content="0; url=https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigation-api">