Removed the now unnecessary push script.