commit and push in Dino's office