listeners/jenkins: update schema of push_projects - easier to store in mongo