George Joseph 5c12fda94e .github: Update github-script to v7 and fix a rest bug ...

Need to update the github-script to v7 to squash deprecation
warnings.

Also fixed the API name for github.rest.pulls.requestReviewers.

(cherry picked from commit 9baf49497e)

2024-03-07 14:18:40 +00:00

..

ISSUE_TEMPLATE

Update config.yml

2023-06-15 09:48:13 -03:00

workflows

.github: Update github-script to v7 and fix a rest bug

2024-03-07 14:18:40 +00:00