Remove stray remnant of bad push script