From 3c581b7c0e7de2c613a989538b50e5584a4b2f74 Mon Sep 17 00:00:00 2001 From: alexion Date: Sat, 11 Jul 2026 23:06:30 -0400 Subject: [PATCH] docs: prefer gitea-axi over tea for opening pull requests --- CLAUDE.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/CLAUDE.md b/CLAUDE.md index fc4aca6..a807f6b 100644 --- a/CLAUDE.md +++ b/CLAUDE.md @@ -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 `, 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 --title --body-file `. +It reuses the `tea` login profiles, so it needs no separate credentials. +Fall back to `tea pr create --login axi --base main --head ` 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.