Fix link to mongodb github repo