Reverting git_push.cmake.