git-codereview: set x.mailed tag to mailed commit instead of HEAD

Currently, git codereview mail sets the <branch>.mailed tag to the
current HEAD, even if mail was given a different hash on the command
line.

Fix this to set the <branch>.mailed tag to the commit hash that was
sent to Gerrit.

Change-Id: Ie0aa1512610121ba508b6668f21b50a0ca1c70f8
Reviewed-on: https://go-review.googlesource.com/7731
Reviewed-by: Josh Bleecher Snyder <josharian@gmail.com>
Reviewed-by: Russ Cox <rsc@golang.org>
diff --git a/git-codereview/mail.go b/git-codereview/mail.go
index 3e63203..4a2b973 100644
--- a/git-codereview/mail.go
+++ b/git-codereview/mail.go
@@ -86,7 +86,7 @@
 	// There is no conflict with the branch names people are using
 	// for work, because git change rejects any name containing a dot.
 	// The space of names with dots is ours (the Go team's) to define.
-	run("git", "tag", "-f", b.Name+".mailed")
+	run("git", "tag", "-f", b.Name+".mailed", c.ShortHash)
 }
 
 // PushSpec returns the spec for a Gerrit push command to publish the change c in b.