From 19f73b843a49ea2774590d7133ed3d16437b05ae Mon Sep 17 00:00:00 2001
From: Paul McCarthy <pauld.mccarthy@gmail.com>
Date: Fri, 26 May 2017 13:29:01 +0100
Subject: [PATCH] Tweak to contributing guide

---
 doc/contributing.rst | 18 +++++++++++++++---
 1 file changed, 15 insertions(+), 3 deletions(-)

diff --git a/doc/contributing.rst b/doc/contributing.rst
index 3673975f3..8432ebee9 100644
--- a/doc/contributing.rst
+++ b/doc/contributing.rst
@@ -23,9 +23,21 @@ Development model
  - Code coverage is as close to 100% as possible.
  - Coding conventions are adhered to (unless there is good reason not to).
 
-- A separate branch is created for each release. Hotfixes may be added to
-  these release branches. Hotfixes should be merged into the master branch,
-  and then cherry-picked onto the release branch(es).
+
+Releases
+--------
+
+
+A separate branch is created for each release. The name of the branch is
+``v[release]``, where ``[release]`` is the version number (see below). For
+example, the branch name for release ``1.0.0`` would be ``v1.0.0``.  Hotfixes
+may be added to these release branches. Hotfixes should be merged into the
+master branch, and then cherry-picked onto the release branch(es).
+
+
+Every release (including hotfixes) is also tagged with its version number.
+For example, the first commit in the ``v1.0.0`` branch would also be tagged
+with ``1.0.0``.
 
 
 Version number
-- 
GitLab