Jan Novak ad127d36ea fix(ci): separate git credentials from --git-repo URL to fix tea pr create ...

tea pr create matches the remote URL against the configured login URL to
auto-detect owner/repo. Embedding credentials in the URL (user:token@host)
breaks that match and produces "path segment [0] is empty". Store creds
via git credential helper instead and pass a clean URL to uh-cli.

Also adds set -x to the PR step for shell-level tracing in CI logs.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

2026-06-12 19:37:29 +02:00

3.6 KiB

Raw Blame History

View Raw