configure_gitea
Configure the Gitea connection at runtime: set base URL, owner, repo, or username to switch instances or identities. Re-discovers credentials from local sources; tokens never pass through.
Instructions
Configure the Gitea connection at runtime (session-scoped, never persisted). Accepts base_url, owner, repo, and/or username — at least one is required. Providing base_url or username triggers credential re-discovery from the existing three sources (git config [gitea] token, GITEA_TOKEN env, git credential helpers). Tokens never pass through this tool; they are always read from the local credential sources. username strictly narrows the git credential lookup to that identity (no fallback to other identities). Use this when the server started unconfigured or when you need to switch instances/identities mid-session.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | No | Default repository name for tool calls that omit the repo argument. | |
| owner | No | Default repository owner for tool calls that omit the owner argument. | |
| base_url | No | Gitea instance base URL (e.g. https://gitea.example.com). Providing base_url — even unchanged — triggers credential re-discovery for that host. Use this as the 'I just added a git credential, refresh now' idiom. | |
| username | No | Selects which identity git's credential machinery should use for the host. The lookup is narrowed to this username — no fallback to other identities. Providing username triggers credential re-discovery. |