Pagure on dist-git, the state of things