diff options
-rwxr-xr-x | packaging/release-rsync | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/packaging/release-rsync b/packaging/release-rsync index f37bd184..9603fd10 100755 --- 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'): |