When deleting a tag, del in the patches dir too.

diff --git a/packaging/release-rsync b/packaging/release-rsync
index f37bd18422e25fe60a8375d9bff9e4682bb23c95..9603fd10ad6fbcc5b4151321981b38abafb47930 100755 (executable)
--- a/packaging/release-rsync
+++ b/packaging/release-rsync
@@ -105,6 +105,8 @@ def main():
         if not re.match(r'^del', ans, flags=re.I):
             die("Aborted")
         cmd_chk(['git', 'tag', '-d', v_ver])
+        if os.path.isdir('patches/.git'):
+            cmd_chk(f"cd patches && git tag -d '{v_ver}'")
 
     version = re.sub(r'[-.]*pre[-.]*', 'pre', version)
     if 'pre' in version and not curversion.endswith('dev'):