Skip to content

馃懛 Use GitHub CLI for Git authentication - #490

Merged
tiangolo merged 1 commit into
mainfrom
agent/use-gh-auth-setup-git
Aug 8, 2026
Merged

馃懛 Use GitHub CLI for Git authentication#490
tiangolo merged 1 commit into
mainfrom
agent/use-gh-auth-setup-git

Conversation

@tiangolo

@tiangolo tiangolo commented Aug 8, 2026

Copy link
Copy Markdown
Member

Summary

  • expose the short-lived PR Push token as GH_TOKEN
  • configure Git authentication with gh auth setup-git
  • avoid embedding the token in the repository remote URL

Checks

  • parsed .github/workflows/pre-commit.yml as YAML
  • git diff --check

AI Disclaimer

This PR was created with the help of gpt-5.6-sol and reviewed by hand.

@tiangolo tiangolo added the internal Internal changes label Aug 8, 2026
@tiangolo
tiangolo merged commit 2e3ee93 into main Aug 8, 2026
26 checks passed
@tiangolo
tiangolo deleted the agent/use-gh-auth-setup-git branch August 8, 2026 22:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal Internal changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant