Ignore repos that aren't in one of the workspace folders#7900

alexr00 merged 1 commit intomainmicrosoft/vscode-pull-request-github:mainfrom

alexr00/issue7896microsoft/vscode-pull-request-github:alexr00/issue7896Copy head branch name to clipboard