If there is already a discussion about a small diff feature request, what is the proper way to submit a PR?
Is it OK to open a PR directly, or should I create an issue first? I would like to know the correct procedure.
I am asking this because I want the value function for CopyButton (discussion - https://github.com/orgs/mantinedev/discussions/2228), and I have already created a small branch for this change (diff - https://github.com/ofk/mantine/commit/7a0bfa202a88c3314f9ea1f8ef98c15b3a2c3a48).
I will decide how to proceed with this branch based on the response.