We don't need it for each push, obviously, just each release. Should be added to the merge to master, along with a version field somewhere.