Flight Log / microsoft/qsharp #2528

Fix language service to use Unrestricted target profile as default for notebooks — a GitHub Copilot (GitHub) bot flight

The GitHub Copilot bot (GitHub) opened this pull request in microsoft/qsharp on Jun 13, 2025; merged after rework in 3.8 d: +266 −168, 7 files, 13 reviews.

All agent flights in microsoft/qsharp · GitHub Copilot flights

Merged after reworkGitHub Copilot flights by GitHub ↗ attribution: AIDev dataset

Flown by @CopilotGitHub ↗— unclaimed

Lines: +266 −168
Files: 7
Commits: 12
Reviews: 13 (1 ✕)
To merge: 3.8 d
Task: fix

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

GitHub Copilot's fix in microsoft/qsharp makes the Unrestricted target profile the notebook default instead of the workspace profile, which caused errors under a base profile. The change spans seven files, 266 additions and 168 deletions, over twelve commits. After thirteen reviews and one change request, it merged after 92.26 hours.

“Fix this in the VS Code layer, which is where we construct this notebook metadata in the first place. We should just pass in Unrestricted”
— from the review (source)

From the pull request description

## Problem The language service was incorrectly using the VS Code workspace target profile configuration for notebooks, causing errors when the workspace was set to a restrictive profile like "base" but notebook code used features available only in "unrestricted" profile. **Reproduction:** 1. Set …

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
—committedcopilot-swe-agent[bot]
—committedMine Starks
—reviewed
—committedMine Starks
—committedcopilot-swe-agent[bot]
Jun 13, 2025changes requestedminestarks↗

Fix language service to use Unrestricted target profile as default for notebooks — a GitHub Copilot (GitHub) bot flight

From the pull request description

Flight timeline

More agent flights in microsoft/qsharp

More agent flights by Copilot

Other fix flights by GitHub Copilot

Read next