make sure the git pushx will succeed.