This isn't strictly true. Anyway, I think you can remove this. Anyone who has push access knows if they should publish. Without push access, nothing bad can happen by running this.