Polishing.

This commit is contained in:
Greg Turnquist
2019-04-24 11:11:43 -05:00
parent b1a61847c4
commit d515b433ee

View File

@@ -41,11 +41,13 @@ With this pipeline in place, you can now activate and expose it:
=== Making a release
1. Create a new release (on the main branch).
+
----
% ci/create-release.sh <release version> <next snapshot version>
----
+
2. With the release officially tagged, just push it to master.
+
----
% git push
----