GitHubIntegrationPermissions
GitHubIntegrationPermissions describes per-integration permissions for the current user.
Properties
idstring requiredPulumi installation IDcanCreateRepoboolean requiredWhether the user can create repos under this installation