In our meeting x3mboy raised the question if we should start to migrate our repo to GitLab
as many projects do. We decided to open a discussion on the mailing list.
So, the floor is open.
My opinion: IMHO, pagure does for us what we need at the moment. Therefore, there is no
need for us to migrate now. And we have so many task to (see
https://pagure.io/fedora-server/boards/Works%20in%20progress) we are well advised to
concentrate on those. Not only, that one has to do the work, all others have to adapt
there working routine and maybe spend some time to learn the new / different
functionality. We should better spend the time into our working projects.