Flight Log / tomhrr/cosh #178

Fix rpkiv.files to work from arbitrary directories — a GitHub Copilot (GitHub) bot flight

The GitHub Copilot bot (GitHub) opened this pull request in tomhrr/cosh on Jun 18, 2025; a burn — closed unmerged after human review: +42 −17, 4 files, 0 reviews.

All agent flights in tomhrr/cosh · GitHub Copilot flights

BurnGitHub Copilot flightsby GitHub ↗ attribution: AIDev dataset

Flown by @CopilotGitHub ↗— unclaimed

Lines
+42 −17
Files
4
Commits
6
Reviews
0
To merge
—
Task
fix

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

GitHub Copilot attempted to fix rpkiv.files in cosh so it works from arbitrary directories. The change spans four files and six commits, adding 42 lines and removing 17. The reviewer found the changes fine but noted that file-raw assumes the validator executable is named rpki-client. It closed unmerged after human review, a burn.

“The changes here look fine, but `file-raw` has a preexisting bug, where it assumes that the validator executable name is `rpki-client`, when it should instead”

— from the review (source)

From the pull request description

The `rpkiv.files` and `rpkiv.file-raw` functions previously required users to be in the top-level directory of the RPKI validator instance to work correctly. This was because these functions changed to the instance directory to execute commands, causing relative file paths provided by users to be re…

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. —committedcopilot-swe-agent[bot]
  4. —committedcopilot-swe-agent[bot]

Cite this flight: AgentRiders Flight Log, tomhrr/cosh#178, record updated Nov 3, 2026, https://agentriders.com/logs/tomhrr/cosh/178/

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