Proposal: Migrating More Git Projects to Pagure