Re-sync with internal repository

The internal and external repositories are out of sync. This Pull Request attempts to brings them back in sync by patching the GitHub repository. Please carefully review this patch. You must disable ShipIt for your project in order to merge this pull request. DO NOT IMPORT this pull request. Instead, merge it directly on GitHub using the MERGE BUTTON. Re-enable ShipIt after merging.
kirklandsign · Nov 1, 2023 · fdce5db · fdce5db
1 parent 3a74a1f
commit fdce5db
Show file tree

Hide file tree

Showing 60 changed files with 0 additions and 17,135 deletions.
diff --git a/docs/website/.gitignore b/docs/website/.gitignore
diff --git a/docs/website/.npmrc b/docs/website/.npmrc
diff --git a/docs/website/README.md b/docs/website/README.md
diff --git a/docs/website/babel.config.js b/docs/website/babel.config.js
diff --git a/docs/website/docs/basics/terminology.md b/docs/website/docs/basics/terminology.md
diff --git a/docs/website/docs/contributors/code_style.md b/docs/website/docs/contributors/code_style.md
diff --git a/docs/website/docs/export/00_export_manual.md b/docs/website/docs/export/00_export_manual.md
diff --git a/docs/website/docs/export/README.md b/docs/website/docs/export/README.md
diff --git a/docs/website/docs/export/background.md b/docs/website/docs/export/background.md
diff --git a/docs/website/docs/export/constraint_apis.md b/docs/website/docs/export/constraint_apis.md
diff --git a/docs/website/docs/export/custom_operators.md b/docs/website/docs/export/custom_operators.md
diff --git a/docs/website/docs/export/errors.md b/docs/website/docs/export/errors.md
diff --git a/docs/website/docs/export/export_api_reference.md b/docs/website/docs/export/export_api_reference.md