mcp.hjlabs.in

Home / Servers / GitHub API / oidc_delete_oidc_custom_property_inclusion_for_enterprise

Delete an OIDC custom property inclusion for an enterprise

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

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

Name on the gateway: github_api__oidc_delete_oidc_custom_property_inclusion_for_enterprise · may change things.

Parameters

NameTypeDescription
enterprise requiredstringThe slug version of the enterprise name.
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_enterprise",
  "arguments": {
    "enterprise": "…",
    "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 enterprise tool with enterprise set to ….

More from GitHub API