Pull Request by first time contributors are merged automatically
Talinx opened this issue · 1 comments
Talinx commented
The Contributing page mentions that
The first time you contribute, an editor, maintainer or admin will need to approve your changes.
However, my first PR was merged without any manual approval as far as I can tell.
Morpheus636 commented
That was a GitHub-based restriction that I had been trying to get around. Sounds like switching to the pull-request-target trigger for the auto-merge system did so! I will update the documentation shortly.