From d7ee92f213de15486ec6d40ca0869a62a05c89fa Mon Sep 17 00:00:00 2001 From: Christian Schwarz Date: Sun, 15 Feb 2026 18:32:27 +0000 Subject: [PATCH] release: improvements: README --- README.md | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 0352fcf..f06c549 100644 --- a/README.md +++ b/README.md @@ -96,10 +96,18 @@ The procedure to issue a release is as follows: * Merge the PR. Docs are auto-published to zrepl.github.io on merge. * Tag the release: * Git tag the release on the `master` branch (e.g., `vMAJOR.MINOR.0`). + ``` + make tag-release ZREPL_TAG_VERSION=v0.7.0 + ``` * Push the tag. * Build and publish: - * Run the `release` pipeline (trigger via CircleCI UI). - * Download artifacts: `make download-circleci-release BUILD_NUM=` + * Run the `release` pipeline against the `master` branch (trigger via CircleCI UI). + This URL: https://app.circleci.com/pipelines/github/zrepl/zrepl?branch=master. + Example pipeline: https://app.circleci.com/pipelines/github/zrepl/zrepl/8547 + * Download artifacts: + ``` + make download-circleci-release BUILD_NUM=8547 + ``` * Create GitHub release and upload artifacts: ```bash gh release create vX.Y.Z --title "vX.Y.Z" --notes "See changelog" --draft