is the PR to mongo was merged?