Merge branch 'main' into int_update

palash-goel · Mar 7, 2023 · 549c70f · 549c70f
2 parents cad07da + 11e87a4
commit 549c70f
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml
@@ -11,8 +11,8 @@ on:  # yamllint disable-line rule:truthy
       - synchronize
       - reopened
       - opened
-    branches:
-      - main
+    branches-ignore:
+      - 'new-nav'
 
 jobs:
   DocsCheck:

diff --git a/vercel.json b/vercel.json
@@ -0,0 +1,5 @@
+{
+    "github": {
+        "silent": true
+    }
+}