dev-release: Document that plugins should also be tagged

Add commands for creating and pushing tags on the plugins.

Also remove the distinction between pushing final release and RC
release tags. This distinction is not made in the section about
creating the tags.

Change-Id: I4dcdc6ac81b2838b4fa9153efcecff87f3b07e3c
1 file changed