Re: GitHub migration script (was Re: About Github migration )