Skip to content

Use GitHub API for pushes by default and require explicit github-token when using custom tokens - #692

Merged
Andarist merged 26 commits into
mainfrom
fix/github-token-push
Aug 3, 2026
Merged

Use GitHub API for pushes by default and require explicit github-token when using custom tokens#692
Andarist merged 26 commits into
mainfrom
fix/github-token-push

Commits

  1. Commits on Jul 6, 2026

  2. Commits on Jul 22, 2026

  3. Commits on Jul 28, 2026

  4. Commits on Jul 29, 2026

  5. Commits on Aug 3, 2026