Skip to content

Add add_repository_collaborator tool for managing repo access#1542

Open
jack-arturo wants to merge 1 commit intogithub:mainfrom
jack-arturo:feat/add-repository-collaborator
Open

Add `add_repository_collaborator` tool for managing repo access#1542
jack-arturo wants to merge 1 commit intogithub:mainfrom
jack-arturo:feat/add-repository-collaborator

Commits

Commits on Dec 4, 2025