Re: GitHub migration again -- The Plan