# Role-based Gitea API tokens. # Each token serves a specific role. For small teams the developer and CI # tokens may belong to the same user, but the reviewer token MUST belong to a # different Gitea user than the PR author so Gitea accepts approval reviews. # Create at: https://git.oblachno.oblachno.fyi/user/settings/applications # Developer token — used by local tooling: create-task, create-pr, setup, etc. DEVELOPER_GITEA_API_TOKEN= # CI token — used by CI workflows and scripts that do not post approvals. # Legacy CI_GITEA_TOKEN is also accepted. CI_GITEA_API_TOKEN= # Reviewer token — used by the auto-merge workflow to post APPROVE reviews. # This must be a different Gitea user from the developer/CI user. REVIEWER_GITEA_API_TOKEN= # Vikunja API token (required for post-merge task updates) # Create at: https://work.oblachno.oblachno.fyi/settings/tokens VIKUNJA_TOKEN= # Vikunja project ID for this project (devx = 8) DEVX_VIKUNJA_PROJECT_ID=8 # Override default API URLs (optional) # DEVX_GITEA_API_URL=https://git.oblachno.oblachno.fyi/api/v1 # DEVX_VIKUNJA_API_URL=https://work.oblachno.oblachno.fyi/api/v1 # Override default language (optional, en is default) # DEVX_LANG=en