f4dc8f7ebc
Revert "Upgrade the dev environment and CI to mongo 8" GitOrigin-RevId: f2145812a5c1cf8d3d3ac31c76cc4aed4ea9d46d