X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=mkgitrel.pub;h=0295e14cf23b5d0b2836fa473a6a4777a4f220d8;hb=343c8016b7c02aa2db3b6f21ae77817d95b4959c;hp=f48fc5f1155af8324f144c6589d2cb087e994ab5;hpb=8ca5adf9ade8e52d71da458dd2fd4841309433e8;p=releases.git

diff --git a/mkgitrel.pub b/mkgitrel.pub
index f48fc5f1155a..0295e14cf23b 100755
--- a/mkgitrel.pub
+++ b/mkgitrel.pub
@@ -34,6 +34,13 @@ DATE=$(git cat-file -p incr/v$rel |
              }') &&
 export GIT_COMMITTER_DATE=$DATE GIT_AUTHOR_DATE=$DATE &&
 
+if test -f linux-libre-$rel.check; then
+    echo linux-libre-$rel.check exists, abandoning this release
+    git tag -d incr/v$rel logs/v$rel sources/v$rel |&
+      tee -a linux-libre-$rel.dtags
+    continue
+fi &&
+
 while test -f linux-libre-$rel.patck; do
   echo please verify linux-libre-$rel.patck and move it away to complete the release
   sleep 30
@@ -69,8 +76,10 @@ for x in scripts sources logs; do
     git tag public/$x/v$rel $x/v$rel &&
     git tag -d $x/v$rel
   fi
-done
+done &&
+
+git worktree remove --force sources/v$rel
 
 done &&
 
-$success
\ No newline at end of file
+$success