Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
release docs: Fix
git push
command for the release tag
Git can be configured to push tags with `push.followTags` but this is not the default. Pushing the tag explicitly with `git push <remote> <tag>` is generally considered safer anyways since it only attempts to push the desired tag.
- Loading branch information