diff --git a/Release-Procedure.md b/Release-Procedure.md
index fdba343..95c8aab 100644
--- a/Release-Procedure.md
+++ b/Release-Procedure.md
@@ -87,7 +87,11 @@ Commit and push this change:
 
 ### Merge the release branch
 
-Push the pending changes to the release branch and merge it into master.
+Push the pending changes to the release branch
+
+    git push openlayers release-v3.1.0
+
+Give the pull request for the release branch a final review, and merge it into master.
 
 ### Update website