Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Updates release documentation to use
git push --tags
over `git push…
… --follow-tags`. `git push --follow-tags` only applies to _annotated_ tags, which is not the case for `git tag <ref>`, so it doesn't actually work for this use case. Instead we need to push the commit and tag separately.
- Loading branch information