If this is simply a matter of moving our infrastructure from Pagure to
Gitlab but both are still hosted on private Fedora Servers, than I agree
that I don't see the need to move to Gitlab. It doesn't appear that any of
the Fedora projects have moved to the
gitlab.com site, so that is why I'm
assuming that we are talking about what we are self hosting on our Fedora
infrastructure. There may be a slight advantage of having a browser based
editor for our docs pages, but I also agree that there seems to be enough
on the plate of our WG without adding an infrastructure change. Perhaps
after the next cycle if we get some of our big rocks taken care of during
the F37 cycle.
Has the Fedora Docs team moved over to Gitlab? I believe that is where I
first saw the suggestion, to have a browser editor to make it easier for
new documentation contributors.
--
mowest
--------->
discoverfoss.com
On Thursday, May 5, 2022 4:57 PM (-04:00), Peter Boy wrote:
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.
_______________________________________________
server mailing list -- server(a)lists.fedoraproject.org
To unsubscribe send an email to server-leave(a)lists.fedoraproject.org
Fedora Code of Conduct:
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
https://lists.fedoraproject.org/archives/list/server@lists.fedoraproject.org
Do not reply to spam on the list, report it:
https://pagure.io/fedora-infrastructure
>