fix: map repository permission display names to GitHub UI role names#146
Open
c1-dev-bot[bot] wants to merge 1 commit into
Open
fix: map repository permission display names to GitHub UI role names#146c1-dev-bot[bot] wants to merge 1 commit into
c1-dev-bot[bot] wants to merge 1 commit into
Commits
Commits on Apr 17, 2026
- committed
c1-dev-bot[bot]