Fixed: push_rock makes sure repo has been pushed