plugins/jenkins & db: added mongo recording for pushes