docs: prefer gitea-axi over tea for opening pull requests
All checks were successful
CI / test (pull_request) Successful in 27s
All checks were successful
CI / test (pull_request) Successful in 27s
This commit is contained in:
@@ -7,7 +7,12 @@ Any commit message you write must follow the Conventional Commits specification
|
||||
## Gotchas
|
||||
|
||||
The `origin` remote is a self-hosted **Gitea** instance (`git.alexion.dev`), not GitHub.
|
||||
The `gh` CLI does not work here — open pull requests with `tea pr create --login axi --base main --head <branch>`, and list them with `tea pr`.
|
||||
The `gh` CLI does not work here.
|
||||
|
||||
Prefer this project's own CLI for pull requests — it is the tool being built, so opening its PRs with it is the dogfood path:
|
||||
`npm run build && node dist/main.js pr create --login axi --base main --head <branch> --title <text> --body-file <path>`.
|
||||
It reuses the `tea` login profiles, so it needs no separate credentials.
|
||||
Fall back to `tea pr create --login axi --base main --head <branch>` only for what gitea-axi cannot do yet; `tea pr` still lists PRs until `pr list` lands (task 0008).
|
||||
|
||||
Task branches are merged into `main` on the remote, so the local `main` goes stale.
|
||||
Always `git fetch origin` and cut a task branch from `origin/main`, not from whatever local `main` happens to point at.
|
||||
|
||||
Reference in New Issue
Block a user