push-nofications: added

I would say remove the version entirely. git tagging is much better