Skip to content

Use REST API for changed-files checks#216

Draft
reakaleek wants to merge 1 commit into
mainfrom
use-rest-api-for-changed-files
Draft

Use REST API for changed-files checks#216
reakaleek wants to merge 1 commit into
mainfrom
use-rest-api-for-changed-files

Conversation

@reakaleek

Copy link
Copy Markdown
Member

Summary

  • use tj-actions/changed-files REST API mode for docs-build change detection
  • use REST API mode in codex-preview for push, pull_request, and merge_group events
  • keep local checkout in codex-preview only for workflow_dispatch, which REST API mode does not support

Why

REST API mode compares GitHub event SHAs directly (push before/after, PR files, merge_group base/head), so change detection no longer depends on shallow local git history or persisted checkout credentials.

Validation

  • pre-commit hooks passed during commit, including GitHub Actions workflow lint

@reakaleek
reakaleek requested a review from a team as a code owner July 13, 2026 20:00
@reakaleek
reakaleek requested a review from technige July 13, 2026 20:00
@reakaleek reakaleek added the enhancement New feature or request label Jul 13, 2026
@reakaleek
reakaleek marked this pull request as draft July 13, 2026 20:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant