mcp.hjlabs.in

Home / Servers / GitHub API / oidc_delete_oidc_custom_property_inclusion_for_org

Delete an OIDC custom property inclusion for an organization

An MCP tool from the GitHub API server, hosted on mcp.hjlabs.in.

Delete an OIDC custom property inclusion for an organization Removes a repository custom property from being included in the OIDC token for repository actions in an organization. OAuth app tokens and personal access tokens (classic) need the admin:org scope… [DELETE /orgs/{org}/actions/oidc/customization/properties/repo/{custom_property_name}]

Name on the gateway: github_api__oidc_delete_oidc_custom_property_inclusion_for_org · may change things.

Parameters

NameTypeDescription
org requiredstringThe organization name. The name is not case sensitive.
custom_property_name requiredstringThe name of the custom property to remove from OIDC token…

How to call it

Through the Smart Gateway, any client can run it by name with call_tool, or let the gateway find it with search_tools:

call_tool arguments
{
  "name": "github_api__oidc_delete_oidc_custom_property_inclusion_for_org",
  "arguments": {
    "org": "…",
    "custom_property_name": "…"
  }
}

Or connect the GitHub API server directly, which lists 1,221 tools including this one:

Run in your terminal
claude mcp add --transport http hj-github-api https://mcp.hjlabs.in/mcp/github-api \
  --header "Authorization: Bearer YOUR_API_KEY"

Try asking

Use the delete an oidc custom property inclusion for an organization tool with org set to ….

More from GitHub API