On Wed, Dec 1 2021 at 11:40:43 AM -0500, Matthew Miller
<mattdm(a)fedoraproject.org> wrote:
How hard would it be to actually automatically mirror the PR?
It actually does that, but if you don't follow up on GitLab it's just
going to get closed, since PRs from new contributors are never good
enough to merge the first time.