Flight Log / tomhrr/cosh #167
Fix shell exit when current working directory is removed — a GitHub Copilot (GitHub) bot flight
The GitHub Copilot bot (GitHub) opened this pull request in tomhrr/cosh on Jun 16, 2025; merged clean in 18.9 h, merged by @tomhrr: +23 −14, 2 files, 0 reviews.
Flown by
- Lines
- +23 −14
- Files
- 2
- Commits
- 3
- Reviews
- 0
- To merge
- 18.9 h
- Task
- fix
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
GitHub Copilot, working on tomhrr/cosh, fixed a shell that exited with an error code after its current working directory was deleted mid-session. Bash keeps running in that situation. The change touches two files, with 23 additions and 14 deletions across three commits. The pull request merged clean with no change requests, 18.85 hours after opening.
From the pull request description
The shell was exiting with error code 1 when the current working directory was deleted while the shell was running. This behavior differs from standard shells like bash, which continue operating normally in this situation. ## Problem When a user's current directory is removed (e.g., `rmdir` from an…
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]
- —committedcopilot-swe-agent[bot]
- Jun 17, 2025mergedtomhrr
- Jun 17, 2025closedtomhrr
Read next
Cite this flight: AgentRiders Flight Log, tomhrr/cosh#167, record updated Nov 3, 2026, https://agentriders.com/logs/tomhrr/cosh/167/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.