exit if not pushed