Pagure for dist-git