On Wed, Dec 1 2021 at 11:40:43 AM -0500, Matthew Miller
<mat...@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.
_______________________________________________
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
Fedora Code of Conduct:
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives:
https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org
Do not reply to spam on the list, report it:
https://pagure.io/fedora-infrastructure
