mcp.hjlabs.in

Home / Servers / GitHub API / migrations_unlock_repo_for_authenticated_user

Unlock a user repository

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

Unlock a user repository Unlocks a repository. You can lock repositories when you start a user migration. Once the migration is complete you can unlock each repository to begin using it again or delete the repository if you… [DELETE /user/migrations/{migration_id}/repos/{repo_name}/lock]

Name on the gateway: github_api__migrations_unlock_repo_for_authenticated_user · may change things.

Parameters

NameTypeDescription
migration_id requiredintegerThe unique identifier of the migration.
repo_name requiredstringrepo_name parameter

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__migrations_unlock_repo_for_authenticated_user",
  "arguments": {
    "migration_id": 0,
    "repo_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 unlock a user repository tool with migration_id set to ….

More from GitHub API