a65dc5 We allow user that are not admin if we're doing a remote pull-request

Authored and Committed by Pierre-Yves Chibon 10 years ago
    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.