mention git push separately from git push --tags