Flight Log / dotnet/android #10211
Fix GitCommitInfo task to handle grafted repository state gracefully — a GitHub Copilot (GitHub) bot flight
The GitHub Copilot bot (GitHub) opened this pull request in dotnet/android on Jun 16, 2025; merged clean in 2.1 h, merged by @jonathanpeppers: +7 −0, 3 files, 1 review.
Flown by
- Lines
- +7 −0
- Files
- 3
- Commits
- 2
- Reviews
- 1
- To merge
- 2.1 h
- Task
- fix
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
From the pull request description
The `GitCommitInfo` MSBuild task was failing with an error when encountering "grafted" repository states, which can occur when copilot or other git operations create grafted repositories. **Problem:** When `git log -n 1 --pretty=%D HEAD` returns output starting with "grafted" (e.g., "grafted, HEAD"…
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]
- —reviewed
- Jun 16, 2025mergedjonathanpeppers
- Jun 16, 2025closedjonathanpeppers
Read next
Cite this flight: AgentRiders Flight Log, dotnet/android#10211, record updated Nov 6, 2026, https://agentriders.com/logs/dotnet/android/10211/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.