Fixing the push_git script