Merge pull request #36 from w3c/wg-adoption

Set up repo as W3C repo of WG spec
w3c · Aug 14, 2020 · 2130e95 · 2130e95
2 parents 5bc6aa5 + 01918ca
commit 2130e95
Show file tree

Hide file tree

Showing 3 changed files with 1,266 additions and 19 deletions.
diff --git a/.pr-preview.json b/.pr-preview.json
@@ -0,0 +1,8 @@
+{
+  "src_file": "index.bs",
+  "type": "bikeshed",
+  "params": {
+    "force": 1
+  }
+}
+
diff --git a/index.bs b/index.bs
@@ -1,8 +1,8 @@
 <pre class='metadata'>
 Title: WebRTC Insertable Media using Streams
 Shortname: webrtc-media-streams
-Level: 1
-Status: UD
+Level: None
+Status: ED
 Group: webrtc
 Repository: w3c/webrtc-insertable-streams/
 URL: https://w3c.github.io/webrtc-insertable-streams/