commit 5d5a07e2a4a7d61419b3be596e3bc321fe90a429
author Shawn Pearce <sop@google.com> Fri Jan 30 05:52:57 2015 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Fri Jan 30 05:52:58 2015 +0000
tree c9c7a9c8545427d25980cc14f5a2a9125212ed42
parent a25b1e07563d24884b6d91eb5e1e6e4aaacb8971
parent ffd288e2a882d5e0c990e9142891742d81b7b0ab

Merge "dev-release: simplify the command for pushing tags"

Documentation/dev-release.txt

diff --git a/Documentation/dev-release.txt b/Documentation/dev-release.txt
index 49ff093..a88b42b 100644
--- a/Documentation/dev-release.txt
+++ b/Documentation/dev-release.txt
@@ -318,13 +318,13 @@
 For an `RC`:
 +
 ----
-  git push gerrit-review refs/tags/v2.5-rc0:refs/tags/v2.5-rc0
+  git push gerrit-review tag v2.5-rc0
 ----
 +
 For a final `stable` release:
 +
 ----
-  git push gerrit-review refs/tags/v2.5:refs/tags/v2.5
+  git push gerrit-review tag v2.5
 ----