build: uncomment 'git push --tags' in version script.