Changeset 1883


Ignore:
Timestamp:
Dec 24, 2008, 5:46:16 PM (16 years ago)
Author:
broder
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/scripts/git-migration/git-migrate

    r1882 r1883  
    8282
    8383def mergeHistories():
     84    grafts = []
    8485    for line in open('grafts'):
    8586        line = line.strip()
     
    8788            continue
    8889       
    89         old_pkg, new_pkg, n = line.split()
    90         mergeHistory(old_pkg, new_pkg, int(n))
     90        grafts.append(line.split())
     91   
     92    for graft in grafts:
     93        mergeHistory(*graft)
     94   
     95    for line in open('package-list'):
     96        line = line.strip()
     97        subprocess.check_call(['git', 'filter-branch',
     98                               '--',
     99                               '--all'],
     100                              cwd='%s.git' % line)
     101   
     102    for graft in grafts:
     103        shutil.rmtree('%s.git' % graft[0])
    91104
    92105if __name__ == '__main__':
Note: See TracChangeset for help on using the changeset viewer.