Use 'revision' as the meta/@name to document git commit (#2695)

close #2692
speced · Nov 28, 2023 · 21e6bbd · 21e6bbd
1 parent 16c53d7
commit 21e6bbd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bikeshed/boilerplate.py b/bikeshed/boilerplate.py
@@ -114,7 +114,7 @@ def addSpecVersion(doc: t.SpecT) -> None:
         except subprocess.CalledProcessError:
             pass
     if revision:
-        h.appendChild(doc.head, h.E.meta({"name": "document-revision", "content": revision}))
+        h.appendChild(doc.head, h.E.meta({"name": "revision", "content": revision}))
 
 
 def addHeaderFooter(doc: t.SpecT) -> None: