message: Tag the release before releasing for thanks.rlo
diff: @@ -117,6 +117,15 @@ Send a PR to the master branch to:
  - modify src/stage0.txt to bootstrap from yesterday's beta's cargo
  - modify mk/main.mk with the new version number
  +Tag (without signing) the release. This lets thanks.rust-lang.org pick
  +it up. We'll sign tomorrow. Use "x.y.z release" as the commit
  +message.
  +
  +```sh
  +$ git tag 1.3.0 $COMMIT_SHA
  +$ git push rust-lang 1.3.0
  +```
  +
  ## Release day (Thursday)
  