Changeset 1883

Timestamp:

Dec 24, 2008, 5:46:16 PM (15 years ago)

Author:

broder

Message:

Actually run the git filter-branch, then delete the packages that have
been merged away.

File:

• trunk/scripts/git-migration/git-migrate (modified) (2 diffs)

trunk/scripts/git-migration/git-migrate

@@ -82 +82 @@
 
 def mergeHistories():
+    grafts = []
     for line in open('grafts'):
         line = line.strip()
@@ -87 +88 @@
             continue
         
-        old_pkg, new_pkg, n = line.split()
-        mergeHistory(old_pkg, new_pkg, int(n))
+        grafts.append(line.split())
+    
+    for graft in grafts:
+        mergeHistory(*graft)
+    
+    for line in open('package-list'):
+        line = line.strip()
+        subprocess.check_call(['git', 'filter-branch',
+                               '--',
+                               '--all'],
+                              cwd='%s.git' % line)
+    
+    for graft in grafts:
+        shutil.rmtree('%s.git' % graft[0])
 
 if __name__ == '__main__':