From 0701865f2531fee1408cdec6a3fa40facbececbb Mon Sep 17 00:00:00 2001
From: Andreas Hocevar <andreas.hocevar@gmail.com>
Date: Tue, 11 Feb 2020 15:48:07 +0100
Subject: [PATCH] Increase patch version after publishing

---
 Release-Procedure.md | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/Release-Procedure.md b/Release-Procedure.md
index c693127..15fc54c 100644
--- a/Release-Procedure.md
+++ b/Release-Procedure.md
@@ -63,6 +63,25 @@ Run the `publish.sh` task with the version number as specified in the `package.j
 
     ./tasks/publish.sh 3.1.0
 
+### Bump the patch version number
+
+For sensible updates to ol@dev, edit `package.json` and bump the patch version number, e.g.
+```json
+{
+  "name": "openlayers",
+  "version": "3.1.1"
+}
+```
+Propagate this change to `package-lock.json`:
+
+    npm install
+
+Commit and push this directly to master:
+
+    git add package.json package-lock.json
+    git commit -m "Developing on 3.1.1"
+    git push openlayers master
+
 ### Update website
 
 You need a local clone of the [openlayers.github.io](https://github.com/openlayers/openlayers.github.io) repo, with the `build` branch checked out.