RE: RFC: migrating to git