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:53:12 -0500 |
| commit | 55228605d245772fe63254796175830d49e97af2 (patch) | |
| tree | eeff74f2a356b88f947bb37c1b29e1f0c48d22bb | |
| parent | 0d990b5d59feb4118e1e0ec25d7e439d9e0b62e8 (diff) | |
| download | mongo-55228605d245772fe63254796175830d49e97af2.tar.gz | |
SERVER-39176 Add configuration for Community RH7.2 repo (zSeries)
(cherry picked from commit fe87aca985ad0f4371ab976bd6815185dae9bd8c)
| -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 e04d68b80b2..0d82cddf210 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 |