From 4e34754ac1ac137813ccf4ef000cda1f44a9d1d8 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 6 Dec 2017 17:29:13 +0100 Subject: [PATCH] Updated release steps for setting tag on GitHub --- doc/checklist_new_release.md | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/doc/checklist_new_release.md b/doc/checklist_new_release.md index c279ffa95..a0462b5d8 100644 --- a/doc/checklist_new_release.md +++ b/doc/checklist_new_release.md @@ -19,11 +19,17 @@ Note that in most case a simultaneous release of [carl](https://github.com/smtra 5. Set new tag in git ```console - git tag new_version + git tag -a new_version git push origin new_version ``` + Next we push the tag to GitHub. This step requires the GitHub repo to to be configured as a remote. + ```console + git remote add github https://github.com/moves-rwth/storm.git + git push github new_version + ``` + The new tag should now be visible on [GitHub](https://github.com/moves-rwth/storm/tags) -6. [Add new release](https://github.com/moves-rwth/storm/releases/new) in Github +6. [Add new release](https://github.com/moves-rwth/storm/releases/new) in GitHub 7. Update [Homebrew formula](https://github.com/moves-rwth/homebrew-storm)