push: add '--delete' flag to synopsis