George Joseph 305111e954 .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.

2024-02-05 08:36:26 -07:00

..

ISSUE_TEMPLATE

.github: Tweak improvement issue type language.

2023-05-09 10:47:33 -03:00

workflows

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

2024-02-05 08:36:26 -07:00