Merge branch 'main' into v0.4_metrics

This commit is contained in:
Michael Quigley
2023-03-03 16:45:31 -05:00

View File

@ -6,5 +6,5 @@
}, },
"cleanUrls": false, "cleanUrls": false,
"public": true, "public": true,
"ignoreCommand": "[[ \"${VERCEL_GIT_COMMIT_REF}\" =~ ^(gh-pages)$ ]] || git diff --quiet HEAD^ HEAD -- ../website/ ../docs/" "ignoreCommand": "grep -qE '^(gh-pages)$' <<< ${VERCEL_GIT_COMMIT_REF} || git diff --quiet HEAD^ HEAD -- ../website/ ../docs/"
} }