Skip to content

Rename github-terms-of-service.md to github-terms-of-service.md #15583

Rename github-terms-of-service.md to github-terms-of-service.md

Rename github-terms-of-service.md to github-terms-of-service.md #15583

Triggered via pull request July 12, 2026 11:48
Status Skipped
Total duration 1s
Artifacts

close-bad-repo-sync-prs.yml

on: pull_request_target
Close if invalid repo-sync PR author
Close if invalid repo-sync PR author
Fit to window
Zoom out
Zoom in