diff --git a/CLAUDE.md b/CLAUDE.md index a807f6b..7a779eb 100644 --- a/CLAUDE.md +++ b/CLAUDE.md @@ -10,9 +10,9 @@ The `origin` remote is a self-hosted **Gitea** instance (`git.alexion.dev`), not 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 `. +`npm run build && node dist/main.js pr create --login alexion --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). +Fall back to `tea pr create --login alexion --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.