diff --git a/docs/chapters/development.rst b/docs/chapters/development.rst
index 7ef7b76583..f9ec75c8fe 100644
--- a/docs/chapters/development.rst
+++ b/docs/chapters/development.rst
@@ -538,7 +538,7 @@ Release using GitLab CI
 #. Push the current branch to the corresponding origin ``releases/`` branch:
    ::
 
-       git push origin <local branch> releases/<branch>
+       git push origin <local branch>:releases/<branch>
 
 
 #. Push the new tags: