Delete push.h