Simplify PR pool definitions#13330

rainersigwald wants to merge 2 commits intodotnet:maindotnet/msbuild:mainfrom

rainersigwald:pr-build-poolsrainersigwald/msbuild:pr-build-poolsCopy head branch name to clipboard