Add disallow_pushing to protect production from absentmindedness