Ben Cotton bcotton@redhat.com wrote: ...
Okay, that makes sense. I don't see the benefits of moving the repos to GitLab at this point, so I'd welcome you selling me on that. ...
One of the main selling points of Gitlab, for me at least, is the online editing experience. There's a web IDE, which has syntax highlighting and validation. More importantly, it allows someone to submit changes without having to be familiar with PR workflows - you just click the "commit" button and it will create an MR for you. (A screenshot of what this commit step looks like in Gitlab: https://imgur.com/a/IBKufW8 .)
Creating a fork, cloning it, and then creating a PR through Pagure is a bit involved and requires existing knowledge, which will surely put some potential contributors off. Some of these Gitlab features could help us to overcome those issues.
Allan