Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Don't assume
git pull
fetches all branches/tags
While running a release, at this point in the instructions I was on the `v1.3.5-release-notes` branch. So `git pull` isn't guaranteed to pull updates on `main` etc. Since we're going to checkout the release tag, a `fetch` is all we need here.
- Loading branch information