ci: incrementally update docs graph on PR merge#478

Merged

galshubeli merged 11 commits into

mainfrom

feat/docs-update-workflow

May 13, 2026

Commits on May 12, 2026

ci: incrementally update docs graph on PR merge

galshubeli
and
claude
committed
ci: simplify update-graph workflow to a single endpoint call (Design B)

galshubeli
and
claude
committed

Commits on May 13, 2026

Merge branch 'main' into feat/docs-update-workflow
galshubeli
authored
fix(ci): correct concurrency group target + add least-privilege permissions

galshubeli
and
claude
committed
fix(ci): use merge_commit_sha for HEAD_SHA, not github.sha (Naseem)

galshubeli
and
claude
committed
ci: switch trigger from pull_request to push:branches:[main]

galshubeli
and
claude
committed
style(ci): strip unnecessary commentary from update-graph.yml

galshubeli
and
claude
committed
docs(ci): add 4-line header explaining update-graph.yml

galshubeli
and
claude
committed
refactor(ci): extract diff-payload Python to .github/scripts

galshubeli
and
claude
committed
fix(ci): read file content from git object store, not working tree

galshubeli
and
claude
committed
ci(workflow): pin actions/checkout to commit SHA

galshubeli
and
claude
committed