Add "git push --tags" to release docs.