i think this should be push --tags origin master like we were talking about if you can verify this so everything stays in sync that would be awesome