Re: RFC: migrating to git