New instructions for GHTorrent mongoDB