Coming soon: Pagure service for dist-git