Hi Adrien, Welcome to the Metamath community! It’s great to have you here.
I noticed that your pull request didn’t pass the initial checks, specifically due to text rewrapping issues. Don’t worry—this is a common hurdle when starting out, and the set.mm maintainers are always happy to guide you through the process. They’ll likely provide feedback on your PR soon. Before submitting a pull request, it’s helpful to follow the formatting recommendations outlined in the CONTRIBUTING.md <https://github.com/metamath/set.mm/blob/develop/CONTRIBUTING.md#formatting-recommendation-prior-to-submitting-a-pull-request> guidelines. These ensure your changes align with the project’s standards. If you have any questions or need assistance, feel free to ask. We’re here to help! Looking forward to seeing your contributions. Best, Glauco -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/metamath/314b71a0-2e97-4daf-912c-3711ee4dc17en%40googlegroups.com.
