SERVER-119704: add monguard directory and prevent it from being mirrored (#48113)
GitOrigin-RevId: ea91cf4a6ea945996bdf816126105ac0f08c428a
This commit is contained in:
committed by
MongoDB Bot
parent
ec9adfc64e
commit
19f7bf16da
@@ -29,6 +29,7 @@ def make_workflow(workflow_name, destination_url, branch):
|
||||
".cursor/**",
|
||||
"AGENTS.md",
|
||||
".github/CODEOWNERS",
|
||||
"monguard/**",
|
||||
]),
|
||||
authoring = authoring.pass_thru("MongoDB <mongodb@mongodb.com>"),
|
||||
mode = "ITERATIVE",
|
||||
|
||||
6
monguard/OWNERS.yml
Normal file
6
monguard/OWNERS.yml
Normal file
@@ -0,0 +1,6 @@
|
||||
version: 2.0.0
|
||||
filters:
|
||||
- "*":
|
||||
approvers:
|
||||
- 10gen/devprod-build
|
||||
- 10gen/devprod-correctness
|
||||
2
monguard/README.md
Normal file
2
monguard/README.md
Normal file
@@ -0,0 +1,2 @@
|
||||
This is a temporary README for Monguard so I can block off this directory via Copybara.
|
||||
This will be overwritten when the actual Monguard repo is copied over.
|
||||
Reference in New Issue
Block a user