Changeset 1884

Timestamp:

Dec 24, 2008, 6:20:39 PM (15 years ago)

Author:

broder

Message:

Grafts is a poor name for the list of merges. Let's call it merges
instead.

Location:

trunk/scripts/git-migration

Files:

• git-migrate (modified) (2 diffs)
• merges (moved) (moved from trunk/scripts/git-migration/grafts)

trunk/scripts/git-migration/git-migrate

@@ -82 +82 @@
 
 def mergeHistories():
-    grafts = []
-    for line in open('grafts'):
+    merges = []
+    for line in open('merges'):
         line = line.strip()
         if line[0] == '#' or line == '':
             continue
         
-        grafts.append(line.split())
+        merges.append(line.split())
     
-    for graft in grafts:
-        mergeHistory(*graft)
+    for merge in merges:
+        mergeHistory(*merge)
     
     for line in open('package-list'):
@@ -100 +100 @@
                               cwd='%s.git' % line)
     
-    for graft in grafts:
-        shutil.rmtree('%s.git' % graft[0])
+    for merge in merges:
+        shutil.rmtree('%s.git' % merge[0])
 
 if __name__ == '__main__':