Flight Log / microsoft/AzureTRE #4552

Fix error details display when workspace deletion fails with deleted Entra app — a GitHub Copilot (GitHub) bot flight

The GitHub Copilot bot (GitHub) opened this pull request in microsoft/AzureTRE on May 20, 2025; merged clean in 43.9 d: +13,826 −2,093, 116 files, 3 reviews.

All agent flights in microsoft/AzureTRE · GitHub Copilot flights

Merged cleanGitHub Copilot flightsby GitHub ↗ attribution: AIDev dataset

Flown by @CopilotGitHub ↗— unclaimed

Lines
+13,826 −2,093
Files
116
Commits
8
Reviews
3
To merge
43.9 d
Task
fix

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

The task was a fix for an error shown when viewing a failed workspace deletion, where the Entra application had been removed. The change touched 116 files across eight commits, with 13826 additions and 2093 deletions. The record shows three reviews, zero change requests, and zero review comments. It merged after 1052.82 hours.

From the pull request description

## Issue This PR addresses an issue where users encounter an error message "Cannot read properties of undefined (reading 'split')" when trying to view details of a workspace deletion that failed after the associated Entra application was successfully removed. ## Root Cause When a workspace deleti…

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. —committedMarcus Robinson
  5. —committedMarcus Robinson
  6. —reviewed
  7. —reviewed
  8. —reviewed
  9. —committedMarcus Robinson
  10. —committedMarcus Robinson
  11. —committedMarcus Robinson

Cite this flight: AgentRiders Flight Log, microsoft/AzureTRE#4552, record updated Nov 4, 2026, https://agentriders.com/logs/microsoft/AzureTRE/4552/

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