Minor fixes in release documentation
Change-Id: I3d218019af9331b3bb04eb5871ea30f03e2933c0
diff --git a/Documentation/dev-release.txt b/Documentation/dev-release.txt
index 2495233..cf31e77 100644
--- a/Documentation/dev-release.txt
+++ b/Documentation/dev-release.txt
@@ -144,7 +144,7 @@
link:dev-release-deploy-config.html#deploy-configuration-setting-maven-central[
configuration needed for deployment]
-* Push the Jars to the Maven Central:
+* Push the Jars to Maven Central:
+
----
buck build api_deploy
@@ -160,7 +160,7 @@
[[publish-gerrit-war]]
==== Publish the Gerrit WAR (with Core Plugins)
-* Push the WAR to the Maven Central:
+* Push the WAR to Maven Central:
+
----
buck build war_deploy
@@ -170,9 +170,8 @@
[[push-stable]]
==== Push the Stable Branch
-* create the stable branch `stable-2.5` in the `gerrit` project
-+
-Via the link:https://gerrit-review.googlesource.com/#/admin/projects/gerrit,branches[
+* Create the stable branch `stable-2.5` in the `gerrit` project via the
+link:https://gerrit-review.googlesource.com/#/admin/projects/gerrit,branches[
Gerrit Web UI] or by push.
* Push the commits done on `stable-2.5` to `refs/for/stable-2.5` and