fix(sync-docs): unfreeze the docs sync push and PR creation - #8

Merged

jog1t merged 2 commits into

mainfrom

fix/sync-docs-push

Aug 18, 2026

Commits on Aug 18, 2026

fix(sync-docs): unfreeze the docs sync push and PR creation
jog1t
committed
f903091
fix(ci): exempt the sync branch from the vendor guard
jog1t
committed
414079c