Hi @pierluigi
I have the same question as @cobrabr, I need to give permission to a specific account to be able to push to the master branch without having to do a PR since it’s all executed during a GH action. But as of now it looks like there’s no way to do that because even if I add the user in the “Restrict who can push to matching branches” whenever he pushes GitHub raise an error telling me that he has to do a PR and that this PR has to be approved by one person.
Can you explain us how we can use this option?
Thank you!
