Add isRequired parameter to repo_update_pull_request_reviewers tool

[ThijsOnGitHub]

Summary

Enhance the repo_update_pull_request_reviewers tool to support marking reviewers as required when adding them to a pull request.

Tools

Update the following tool with the isRequired parameter:

repo_update_pull_request_reviewers: Add or remove reviewers for an existing pull request.

Endpoint: PUT https://dev.azure.com/{organization}/{project}/_apis/git/repositories/{repositoryId}/pullRequests/{pullRequestId}/reviewers/{reviewerId}?api-version=7.2-preview.1

Current parameters:

• repositoryId (required): The ID of the repository
• pullRequestId (required): The ID of the pull request
• reviewerIds (required): List of reviewer IDs to add or remove
• action (required): "add" or "remove"

Missing parameter:

• isRequired (optional, default: false): When true, marks the reviewer as a required reviewer who must approve before the PR can be completed

Rules

1. Adhere strictly to existing project standards and coding conventions.
2. Ensure the tool exposes all API parameters (required and optional).
3. Use the official Azure DevOps Node API to interact with the APIs.

[danhellem]

Currently the logic for adding reviewers is adding or removing, it does update. Add does not have a IsRequired property as part of the add reviewer API.

We are going to close this ticket and move it to the discussion backlog for future consideration

[danhellem]

IMO we should have 3 separate tools. Add, Remove, & Update. We should not have a single tool. We need to look at this and try and make this better in the future.

https://learn.microsoft.com/en-us/rest/api/azure/devops/git/pull-request-reviewers/update-pull-request-reviewer?view=azure-devops-rest-7.2

cc: @nikolapeja6

[Basssiiie]

Has there been any updates in this regard? We'd love to make the reviewers added by the agent required.