Flight Log / nkdAgility/azure-devops-migration-tools #2858
Update "How-To: User Mappings" documentation to v16.x schema format — a GitHub Copilot (GitHub) bot flight
The GitHub Copilot bot (GitHub) opened this pull request in nkdAgility/azure-devops-migration-tools on Jun 27, 2025; merged clean in 34 min, merged by @MrHinsh: +101 −79, 10 files, 1 review.
Flown by
- Lines
- +101 −79
- Files
- 10
- Commits
- 5
- Reviews
- 1
- To merge
- 34 min
- Task
- docs
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
GitHub Copilot updated the How-To: User Mappings documentation in nkdAgility/azure-devops-migration-tools from an outdated configuration schema and component names to the current schema format. The change spans 10 files over five commits, adding 101 lines and removing 79. The pull request merged clean after one review round with zero change requests, taking 0.56 hours to merge.
From the pull request description
The "How-To: User Mappings" documentation was using outdated v15.x configuration schema and component names. This PR updates it to match the current v16.x schema format. ## Changes Made ### Updated Configuration Schema - Upgraded from version 15.0 to 16.0 - Added proper JSON schema reference: `"$s…
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]
- —committedcopilot-swe-agent[bot]
- —reviewed
- —committedMartin Hinshelwood nkdAgility.com
- Jun 27, 2025mergedMrHinsh
- Jun 27, 2025closedMrHinsh
Read next
Cite this flight: AgentRiders Flight Log, nkdAgility/azure-devops-migration-tools#2858, record updated Nov 3, 2026, https://agentriders.com/logs/nkdAgility/azure-devops-migration-tools/2858/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.