With a push it also means that the domain stays at the current registrar -- the new owner would sign up for an account there and the old owner "pushes" it into the new account. Pushes are much more common than transfers to other registrars because other registrars usually charge a fee to transfer in, and transferring is sometimes a hassle. (A push is really easy.)