mkgitrel.pub: catch .check file created while waiting for .patck removal

diff --git a/mkgitrel.pub b/mkgitrel.pub
index 6b7e87acf958485c666ed113f5f89977bfc85a0f..c851c30beafb3cd390a964f72703f2a3b3c53ed9 100755 (executable)
--- a/mkgitrel.pub
+++ b/mkgitrel.pub
@@ -62,11 +62,23 @@ if test -f linux-libre-$rel.check; then
     continue
 fi &&
 
-while test -f linux-libre-$rel.patck; do
+while test -f linux-libre-$rel.patck && test ! -f linux-libre-$rel.check; do
   echo please verify linux-libre-$rel.patck and move it away to complete the release
   sleep 30
 done &&
 
+# Look for .check again, maybe it was created manually while we waited
+# for .patck to be removed.  In this case, we have to duplicate the
+# cleanups that .rel would have already done.
+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
+    git worktree remove logs/v$rel
+    git worktree remove --force sources/v$rel
+    continue
+fi &&
+
 (
   cd scripts/v$rel &&
   { { git reset --soft -q scripts/$cbr &&