From 03c983ad4d2321ec560136c756865dd2bb84138f Mon Sep 17 00:00:00 2001 From: Glyn Normington Date: Mon, 4 Nov 2019 17:35:32 +0000 Subject: [PATCH] Prepare for a release --- README.md | 5 ++++- VERSION | 2 +- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 0435c55..34c45eb 100644 --- a/README.md +++ b/README.md @@ -165,4 +165,7 @@ If this repository isn't quite what you're looking for, try: ## Development -To create a release on github, simply push a tag beginning with "v". \ No newline at end of file +To create a release on github, merge a commit which removes "-snapshot" from [VERSION](VERSION) (and, optionally, +bumps the major version if there has been an incompatible change), then push a tag beginning with "v". +To continue development of the next release, merge a commit which bumps the minor version in [VERSION](VERSION) and adds +"-snapshot" back in. \ No newline at end of file diff --git a/VERSION b/VERSION index e629dfa..bcaffe1 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.7.0-snapshot \ No newline at end of file +0.7.0 \ No newline at end of file