Closed MichaelSimons closed 1 month ago
I couldn't figure out the best area label to add to this PR. If you have write-permissions please help me learn by adding exactly one area label.
I couldn't figure out the best area label to add to this PR. If you have write-permissions please help me learn by adding exactly one area label.
This fixes an issue with https://github.com/dotnet/docker-tools/pull/1468. Public GitHub repo names include the organization but that is trimmed from the git repo name. This was tested in https://github.com/dotnet/dotnet-buildtools-prereqs-docker/pull/1212