Skip to content

[dotnet-port-api] Port shelltool metadata overrides - #997

Merged
Quim Muntal (qmuntal) merged 2 commits into
mainfrom
dotnet-port-api-shelltool-metadata-30980459955-a66e5eb7ab29be28
Sep 7, 2026
Merged

[dotnet-port-api] Port shelltool metadata overrides#997
Quim Muntal (qmuntal) merged 2 commits into
mainfrom
dotnet-port-api-shelltool-metadata-30980459955-a66e5eb7ab29be28

Merge main and trim configured shell tool name

b4be671
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar