Re: Proposal: Migrating More Git Projects to Pagure