migrate repos to gitolite from old server...

migrate.py

#!/bin/python
import os

repos = [''] # list of repo names here...

for repo in repos:
        print repo
        shortname = repo.split('.git')[0]
        os.system('git clone --bare me@oldserver:/git/%s' % repo)
        os.chdir(repo)
        os.system('git push --all gitolite@newserver:%s' % shortname)
        os.system('git push --tags gitolite@newserver:%s' % shortname)
        os.chdir('..')
        os.system('rm -rf %s' % repo)