(mostly) replace github with the MongoDB