Update the release documentation
Add instructions about release notes, and pushing tags.
Signed-off-by: David Brown <david.brown@linaro.org>
diff --git a/docs/release.md b/docs/release.md
index 7a35b89..df88efd 100644
--- a/docs/release.md
+++ b/docs/release.md
@@ -15,6 +15,12 @@
We add pre-release tags of the format MAJOR.MINOR.PATCH-rc1.
+## Release Notes
+
+Before making a release, be sure to update the `docs/release-notes.md`
+to describe the release. This should be a high-level description of
+the changes, not a list of the git commits.
+
## Release Candidates
Prior to each release, tags are made (see below) for at least one
@@ -50,6 +56,7 @@
At this point, the tag can be pushed to github to make the actual
release happen:
``` bash
+git push origin HEAD:refs/heads/master
git push origin va.b.c-rcn
```