From a2d8c73bfc0cc4c7a1576578f72781435bbdf9c5 Mon Sep 17 00:00:00 2001
From: Andreas Hocevar <andreas.hocevar@gmail.com>
Date: Thu, 13 Feb 2020 21:06:50 +0100
Subject: [PATCH] Explain pull request better

---
 Release-Procedure.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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