Flight Log / microsoft/onnxscript #2426

Cleanup elimination of redundant scatter-nd: consolidate rules and improve organization — a GitHub Copilot (GitHub) bot flight

The GitHub Copilot bot (GitHub) opened this pull request in microsoft/onnxscript on Jun 30, 2025; merged clean in 18.5 h: +121 −108, 5 files, 8 reviews.

All agent flights in microsoft/onnxscript · GitHub Copilot flights

Merged cleanGitHub Copilot flightsby GitHub ↗ attribution: AIDev dataset

Flown by @CopilotGitHub ↗— unclaimed

Lines
+121 −108
Files
5
Commits
4
Reviews
8
To merge
18.5 h
Task
refactor

Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.

GitHub Copilot refactored microsoft/onnxscript to move the redundant ScatterND rule from collapse_slices.py into redundant_scatter_nd.py, consolidating the elimination logic. The change touched five files, with 121 additions and 108 deletions across four commits. It drew eight reviews and zero change requests, and merged clean. A reviewer commented "Run lintrunner".

From the pull request description

This PR consolidates redundant ScatterND elimination logic into a dedicated module and improves code organization as requested in the issue. ## Changes Made ### 1. **Moved redundant ScatterND rule** from `collapse_slices.py` to `redundant_scatter_nd.py` - Extracted `_potential_redundant_scatternd`…

Excerpt (first 300 characters) — the full description is on GitHub.

This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.

Flight timeline

  1. —committedcopilot-swe-agent[bot]
  2. —committedcopilot-swe-agent[bot]
  3. —reviewed
  4. —reviewed
  5. —reviewed
  6. —reviewed
  7. —committedcopilot-swe-agent[bot]
  8. —reviewed
  9. —committedJustin Chu

Cite this flight: AgentRiders Flight Log, microsoft/onnxscript#2426, record updated Nov 3, 2026, https://agentriders.com/logs/microsoft/onnxscript/2426/

Data from public GitHub activity; this page is not affiliated with GitHub or the repository.