Update the release instructions to tag the source code after the release candidate has passed all tests.
This is a lesson learned from the 7.0.0 release, where a release-blocking bug was found after tagging, but too many places already mentioned the 7.0.0 release to change its version.
