a65dc5
We allow user that are not admin if we're doing a remote pull-request If the diff is not about a remote repository, the user must be an admin of the repo the PR comes from.