SERVER-117433 [v8.2] Add private third party dependency directory (#46743)

GitOrigin-RevId: 720af1193691c20585306d70a951dad9d9b1dfe7
This commit is contained in:
Zack Winter 2026-01-29 03:01:02 -08:00 committed by MongoDB Bot
parent 63acb191e9
commit fc727a014e
4 changed files with 7 additions and 1 deletions

View File

@ -303,6 +303,8 @@ def main() -> int:
)
# the only files in this dir that are not third party libs
third_party_libs.remove("scripts")
# Nothing in this directory is included in Community/EA
third_party_libs.remove("private")
error_manager = lint_sbom(input_file, output_file, third_party_libs, should_format)
error_manager.print_errors()

View File

@ -20,7 +20,7 @@ core.workflow(
push = "v8.2",
),
# Change path to the folder you want to publish publicly
origin_files = glob(["**"], exclude = ["src/mongo/db/modules/**"]),
origin_files = glob(["**"], exclude = ["src/mongo/db/modules/**", "src/third_party/private/**"]),
authoring = authoring.pass_thru("MongoDB <mongodb@mongodb.com>"),
mode = "ITERATIVE",
transformations = [

View File

@ -82,6 +82,9 @@ filters:
- "pcre2":
approvers:
- 10gen/query-execution
- "private/.placeholder":
approvers:
- 10gen/devprod-build
- "protobuf":
approvers:
- 10gen/server-networking-and-observability

1
src/third_party/private/.placeholder vendored Normal file
View File

@ -0,0 +1 @@
# Delete once this directory is populated