diff options
| author | Ramon Fernandez <ramon@mongodb.com> | 2019-01-24 13:52:49 -0500 |
|---|---|---|
| committer | Ramon Fernandez <ramon@mongodb.com> | 2019-01-24 13:52:49 -0500 |
| commit | fe87aca985ad0f4371ab976bd6815185dae9bd8c (patch) | |
| tree | 5a008e6e93fbcb5c1e5e41e17c721c29506709a8 /etc | |
| parent | aec398437d55ae1d88efd2439118dc8b978154e2 (diff) | |
| download | mongo-fe87aca985ad0f4371ab976bd6815185dae9bd8c.tar.gz | |
SERVER-39176 Add configuration for Community RH7.2 repo (zSeries)
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/repo_config.yaml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/etc/repo_config.yaml b/etc/repo_config.yaml index 76a4edd0601..653368139fe 100644 --- a/etc/repo_config.yaml +++ b/etc/repo_config.yaml @@ -90,6 +90,14 @@ repos: - yum/redhat/7/mongodb-org - yum/redhat/7Server/mongodb-org + - name: rhel72 + type: rpm + edition: org + bucket: repo.mongodb.org + repos: + - yum/redhat/7/mongodb-org + - yum/redhat/7Server/mongodb-org + - name: amazon type: rpm edition: org |