diff --git a/docs/development/release.md b/docs/development/release.md
index daad36aaee..be9cf0c14d 100644
--- a/docs/development/release.md
+++ b/docs/development/release.md
@@ -73,7 +73,7 @@ git push --tags
 For the time being, we are also maintaining a release branch.  We push released
 versions to that.
 
-`git push origin release`
+`git push origin release-1.7:release`
 
 ## Upload to github