Merge pull request #8550 from planetscale/go-tags-release

Updated Makefile do_release script to include godoc steps

Makefile

@@ -350,15 +350,16 @@ endif
 	git add --all
 	git commit -n -s -m "Release commit for $(RELEASE_VERSION)" 
 	git tag -m Version\ $(RELEASE_VERSION) v$(RELEASE_VERSION)
+	git tag -a v$(GODOC_RELEASE_VERSION) -m "Tagging $(RELEASE_VERSION) also as $(GODOC_RELEASE_VERSION) for godoc/go modules"
 	cd java && mvn versions:set -DnewVersion=$(DEV_VERSION)
 	echo package servenv > go/vt/servenv/version.go
 	echo  >> go/vt/servenv/version.go
 	echo const versionName = \"$(DEV_VERSION)\" >> go/vt/servenv/version.go
 	git add --all
 	git commit -n -s -m "Back to dev mode"
 	echo "Release preparations successful" 
-	echo "A git tag was created, you can push it with:"
-	echo "   git push upstream v$(RELEASE_VERSION)"
+	echo "Two git tags were created, you can push them with:"
+	echo "   git push upstream v$(RELEASE_VERSION) && git push upstream v$(GODOC_RELEASE_VERSION)"
 	echo "The git branch has also been updated. You need to push it and get it merged"
 
 tools: