Skip to content

ci: push bot-generated docs straight to main instead of opening PRs#12

Merged
alexander-sei merged 1 commit into
mainfrom
ci/bots-push-to-main
May 29, 2026
Merged

ci: push bot-generated docs straight to main instead of opening PRs#12
alexander-sei merged 1 commit into
mainfrom
ci/bots-push-to-main

ci: push bot-generated docs straight to main instead of opening PRs

d6e6967
Select commit
Loading
Failed to load commit list.