Significantly faster tag deletion

horde · Oct 17, 2013 · a054752 · a054752
1 parent 21cf853
commit a054752
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/framework/bin/horde-git-split.php b/framework/bin/horde-git-split.php
@@ -18,11 +18,15 @@
 chdir($tmp . '/tmp');
 system('git remote rm origin');
 
+$delete = array();
 foreach (array_filter(explode("\n", shell_exec('git tag -l'))) as $val) {
     if (strpos($val, $argv[1] . '-') === false) {
-        system('git tag -d ' . escapeshellarg($val));
+        $delete[] = escapeshellarg($val);
     }
 }
+if (count($delete)) {
+    system('git tag -d ' . implode(' ', $delete));
+}
 
 system("git filter-branch --prune-empty --subdirectory-filter " . $argv[2] . " --tag-name-filter cat -- --all");
 system('git update-ref -d refs/original/refs/heads/master');