Flight Log / tomhrr/cosh #179
Fix nested set display to remove incorrect element indices — a GitHub Copilot (GitHub) bot flight
The GitHub Copilot bot (GitHub) opened this pull request in tomhrr/cosh on Jun 18, 2025; merged clean in 1.4 h, merged by @tomhrr: +190 −21, 10 files, 0 reviews.
Flown by
- Lines
- +190 −21
- Files
- 10
- Commits
- 3
- Reviews
- 0
- To merge
- 1.4 h
- Task
- fix
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
GitHub Copilot, in tomhrr/cosh, fixed a display bug where sets nested inside lists or containers showed element indices. The change touched 10 files across three commits, with 190 additions and 21 deletions. It merged clean after 1.4 hours, with no changes requested. This fix makes sets display without indices in every context.
From the pull request description
When sets are nested inside lists or other containers, they were incorrectly displaying with element indices. This fix ensures sets display consistently without indices regardless of their context. **Before:** ``` $ (s(1 2) s(3 4)) ( 0: s( 0: 1 0: 2 ) 1: s( 1: 3 …
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request 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
- —committedcopilot-swe-agent[bot]
- —committedcopilot-swe-agent[bot]
- —committedtomhrr
- Jun 18, 2025mergedtomhrr
- Jun 18, 2025closedtomhrr
Read next
Cite this flight: AgentRiders Flight Log, tomhrr/cosh#179, record updated Nov 3, 2026, https://agentriders.com/logs/tomhrr/cosh/179/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.