Fixes failing CI - #25629

(Note: It seems like the official repo has got the GitHub API rate limiting fixed in their CI, but I comment in case anyone is trying to run CI on a fork and getting stuck on this.)

If I understand correctly, the GitHub API rate limiting should be fixed if you set a valid GitHub API token as the GITHUB_TOKEN environment variable, in the CI environment.

Per this note in the vscode-ripgrep docs: https://github.com/microsoft/vscode-ripgrep/blob/v1.14.2/README.md#github-api-limit-note

(How to create a GitHub API token: https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/creating-a-personal-access-token -- no permissions needed, just public API access, so don't need to check any permissions boxes, at least for the Pull Requests pipeline.)

(How to set the token in Azure Pipelines UI: https://learn.microsoft.com/en-us/azure/devops/pipelines/process/set-secret-variables?view=azure-devops&tabs=yaml%2Cbash#secret-variable-in-the-ui)