configure_gitea
Set runtime Gitea connection parameters and trigger credential re-discovery from local sources to switch instances or identities during a session.
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] section, GITEA_TOKEN env, git credential store). Tokens never pass through this tool; they are always read from the local credential sources. username strictly filters credential-store entries by exact match (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 credential-store entry, refresh now' idiom. | |
| username | No | Selects which identity to use from the git credential store. Host-matching entries are strictly filtered by this username — no fallback to other identities. Providing username triggers credential re-discovery. |