mirror of
https://github.com/mongodb/mongo.git
synced 2024-11-25 09:19:32 +01:00
b161ab8744
GitOrigin-RevId: c99890bd391adf39e6195be3d6f4a82a0d1e47a2
12 lines
325 B
YAML
12 lines
325 B
YAML
# TODO: This is a really loose alias for a lot of files.
|
|
# TODO(SERVER-89644): Tighten this up as we decide more the split between the teams.
|
|
version: 1.0.0
|
|
filters:
|
|
- "*":
|
|
approvers:
|
|
- 10gen/devprod-correctness
|
|
- 10gen/devprod-build
|
|
- "burn_in_tests.py":
|
|
approvers:
|
|
- 10gen/devprod-correctness
|