From 00fe3943387802f03ab718873a8e6ad7e5208010 Mon Sep 17 00:00:00 2001
From: Martin Hjelmare <marhje52@gmail.com>
Date: Wed, 11 Mar 2020 17:42:36 +0100
Subject: [PATCH] Add release instructions

---
 RELEASE.md | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 RELEASE.md

diff --git a/RELEASE.md b/RELEASE.md
new file mode 100644
index 0000000..76259dd
--- /dev/null
+++ b/RELEASE.md
@@ -0,0 +1,8 @@
+# Release procedure
+
+- Create a release branch from master.
+- Update version in `VERSION`to the new version number, eg `'0.2.0'`.
+- Commit with commit message `Bump version to 0.2.0` and push the release branch to origin.
+- Create a pull request from release branch to `master` with the upcoming release number as the title.
+- Squash merge the pull request into `master`.
+- Go to GitHub releases page and publish the current draft release, setting the correct title and tag version from master branch.