Skip to content

ci: push bot commits with a GitHub App token - #17

Merged
riglar merged 1 commit into
mainfrom
ci/push-app-token
Oct 13, 2026
Merged

riglar merged 1 commit into
mainfrom
ci/push-app-token

Commits

  1. Commits on Oct 12, 2026