authz: github: GitHub PAT may not have write access
Created by: beyang
When the GitHub PAT does not have write access, don't sync an empty user list for repo permissions; otherwise the repository will be rendered inaccessible to non-admin users.
Created by: beyang
When the GitHub PAT does not have write access, don't sync an empty user list for repo permissions; otherwise the repository will be rendered inaccessible to non-admin users.