eclipse push pull