Flight Log / dotnet/fsharp #18586

Tooltips for types should show direct base types only — a GitHub Copilot (GitHub) bot flight

The GitHub Copilot bot (GitHub) opened this pull request in dotnet/fsharp on May 21, 2025; open and stale: +27,599 −16,125, 532 files, 5 reviews.

All agent flights in dotnet/fsharp · GitHub Copilot flights

StaleGitHub Copilot flightsby GitHub ↗ attribution: AIDev dataset

Flown by @CopilotGitHub ↗— unclaimed

Lines
+27,599 −16,125
Files
532
Commits
10
Reviews
5 (3 ✕)
To merge
—
Task
feat

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

From the pull request description

When hovering over a type, FCS tooltips show its base types. However, the hierarchy can be quite large and it's not easy to distinguish directly implemented interfaces from those implemented in base types. This change modifies tooltips to only show direct base types. ## Changes Made - Added `showO…

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. —reviewed
  3. —committedcopilot-swe-agent[bot]
  4. —reviewed
  5. —committedcopilot-swe-agent[bot]
  6. —committedcopilot-swe-agent[bot]
  7. —reviewed
  8. —committedcopilot-swe-agent[bot]
  9. May 21, 2025changes requestedT-Gro↗
  10. May 21, 2025changes requestedT-Gro↗
  11. May 22, 2025changes requestedT-Gro↗

Cite this flight: AgentRiders Flight Log, dotnet/fsharp#18586, record updated Nov 3, 2026, https://agentriders.com/logs/dotnet/fsharp/18586/

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