Fix GitHub PR CI - OpenSRE Documentation

OpenSRE can inspect failing GitHub Actions checks on a pull request, apply a code fix in your local checkout, commit it, and push it back to the PR’s existing head branch.

This is mutating. OpenSRE asks before checking out the PR branch, editing files, committing, and pushing.

Set it up

export CODING_WORKSPACE=/path/to/repo  # optional; defaults to cwd
export GITHUB_TOKEN=... # repo write access plus workflow/check read access

OpenSRE uses the configured coding-agent backend through CODING_AGENT=auto by default.

Use it

In the interactive shell:

fix CI on https://github.com/Tracer-Cloud/opensre/pull/4597 and push
fix failing checks on Tracer-Cloud/opensre#4597
the current PR CI is failing, fix and push

What happens

OpenSRE reads PR metadata and failing GitHub Actions checks.
It fetches compact log excerpts for failing Actions jobs.
It verifies the local checkout’s origin matches the PR repository.
It refuses fork PRs because it only pushes to branches in the same repository.
After approval, it checks out the PR head branch and applies the fix.
If files changed, it commits only the fix-run changes and pushes the PR branch.

If no checks are failing, OpenSRE says so and does not push.