add note about git push --tags