From 6f48c018b526a776e38e94f58769c30141de9e0c Mon Sep 17 00:00:00 2001
From: Christian Clason <christian.clason@uni-due.de>
Date: Tue, 20 Jul 2021 23:30:32 +0200
Subject: [PATCH] Revert "fix(ci): remove mongodb from brew to avoid brew
 upgrade error (#15115)" (#15141)

This reverts commit 5377b2b00aea1a0bde1b81452e6198dabe5b9796.

(Fix no longer needed.)
---
 .github/workflows/ci.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ca850c577b..aa16a94802 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -64,8 +64,6 @@ jobs:
           # Workaround brew issues
           rm -f /usr/local/bin/2to3
           brew update >/dev/null
-          # remove broken mongodb-community package
-          brew remove mongodb-community
           brew upgrade
           brew install automake ccache perl cpanminus ninja