From fe59a2354a10af41a9834b5b07ebf30a36c9af04 Mon Sep 17 00:00:00 2001 From: Justin Abrahms Date: Mon, 29 Aug 2022 13:20:19 -0700 Subject: [PATCH] Add scriptable retry --- docs/release.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/docs/release.md b/docs/release.md index 1ab9d7f1..8ab32ddc 100644 --- a/docs/release.md +++ b/docs/release.md @@ -19,4 +19,10 @@ If something went wrong above, here's how you reset. 1. Save the release notes you wrote. 2. Delete the release. 3. Delete the tag with `git push --delete origin 0.1.0` where 0.1.0 is your tag name. -4. \ No newline at end of file + +```shell +gh release delete 0.1.0 -y +git push --delete origin 0.1.0 + +gh release create 0.1.0 -F /tmp/010-release.md -t 0.1.0 +``` \ No newline at end of file