Repository navigation
[FEAT]: treat equivalent permissions as equivalent (write == push) #2446
Description
Describe the need
In github_repository_collaborators, user and team permission "write" is silently translated to "push". So setting up a resource to grant write permission as in the Github UI works; it sets the push permission. But when checking the resource state, "push" is returned. That presents as a difference, resulting in always requiring a change.
It'd be nice to catch this hidden translation and either accept that push==write or emit a warning. I assume someone can't create a custom role called "write", and that if they did, they're evil incarnate. 👿
SDK Version
No response
API Version
No response
Relevant log output
No response
Code of Conduct
- I agree to follow this project's Code of Conduct
Activity
github-actions commentedon Jul 30, 2025
👋 Hey Friends, this issue has been automatically marked as
stalebecause it has no recent activity. It will be closed if no further activity occurs. Please add theStatus: Pinnedlabel if you feel that this issue needs to remain open/active. Thank you for your contributions and help in keeping things tidy!dannysauer commentedon Aug 1, 2025
Still seems useful to me. 🤷♂️
reiinoldo commentedon Oct 15, 2026
The following pr #3684 proposes to accept read and write as UI-aligned aliases for pull and push in github_team_repository