do the right thing to fix issue #7: wait till push completes to go back